注意，这不是正文。
【作者的话】
现在想了想，这本书的设定似乎还是有点太多了，已经对故事性有严重的压迫，所以这边会单开一系列设定章节，我尽量在正文讲故事而不是抛设定，这里致歉，呜呜。
当然，我可能会通过更新设定章来替代正文的更新，喜欢看主播的神秘小巧思的有福了。
我觉得我需要在这里强调一下，本书采取的魔法不是常规意义上的，那种DND式的魔法，什么火球术之类的，肯定不会在书中参与有意义的故事叙述的。而是会出现大量的以符号神秘主义为本体构建的魔法。
这里就要引出我把本书投科幻区的初心了，因为大多数科幻形式本身是“科技幻想”，而不是“科学幻想”。即使是大多数的硬核科幻，也多局限于相似技术的表现形式，同质化现象太严重了
……
所以这本书在一定程度上是作者的自娱自乐。
……
后来我想了想，我真正想要写的，或者我理想中最喜欢的一本书应该是什么样子呢？我在网络上找了很久，也综合了一下对我自己的审美的反思，我终于理解了——一个强大、神秘、与现实有若有若无地照应的世界观。
首先是“强大”，这里的强大指的是它里面有足够冲破各种规则限制的东西，就像火箭能脱离地球引力一样。而在这里，规则限制可以无限地宽泛，无论是怎样的规则，它们都只是人类在“现实世界”中收集各种“偶然现象”得到的规律，并不是真正意义上最严格，不可忤逆的东西。我觉得只有在这里，可以做到完全放入我的想象力。
说到想象力，这里就不得不介绍那个“与现实有若有若无地照应”了，相信大家都见过“人无法想象自己没见过的东西”这句话，然而它显然是错误的，如果是这样的话，岂不是我只要想象出来就一定是我见过，那幻想成真什么的应该是普遍出现在现实世界的必然规律，然而现实世界中肯定是没有能够“幻想成真”的人的。
那我为什么要求要与现实有照应呢？答案是真实感，小说是一定要有真实感的，只是对于不同的人，他们的“真实感”不同，比如对于有的人来说在“故事性”的“真实感”需求更高，而对有的人来说“理论性”的真实感需求更高。但真实感不是完全符合真实，而是在关键的、可以挑起情感上的部分符合真实。
所以，我终于找到了答案——符号神秘主义。
对于我来说，“理论性”的真实感是最重要的，然而，若是理论完全一致又有什么乐趣呢？所以我希望的是，将那些我曾经看过的理论，给予一些“夸张化”，把那些理论最震撼直觉的方式放大，让他们在“视觉”上变得更强，比那些理论本身还要震撼。
在本书中，会提到一个“分析学神秘术”的概念，这里指的是：施法者可以选择分析学中某些神秘的意象来施法，比如在卷二中卷“图灵仙子”的“图灵仙子与德缪歌集（下）”中，我借维罗妮卡之口说出了“司寇伦术式”这一集合论神秘术。它的原型比起勒文海姆—司寇伦定理，更接近斯科伦函数
（这里我要说一下，司寇伦和斯科伦在现实中都是一个人，只是中文翻译不同）
如果你没见过斯科伦函数，你可以理解为这玩意是对逻辑中“量词”的操纵。比如对于一个“∃x∀y∀z∃u∀v∃w P(x,y,z,u,v,w)”
经斯科伦化后：
∀y∀z∀v P(a, y, z, f(y,z), v, g(y,z,v))
这个过程中，所有以“存在”量词构建的东西全部在量词中被消掉了，而在后面的公式中被替换为了它们在“任意量词”的语法束缚中的对象。
这个看起来很抽象，并且不够震撼，我这样写你可能看起来会更直观一点。
“在物理世界中，存在光子可以以光速传播，存在黑洞引力可以捕捉所有反射的光，存在……可以……，进一步，对于物理世界中任何强大的现象，都有一个特殊的物理实体可以完成它”
那么，经过斯科伦化后
“存在一个神，祂可以跑的和光一样快，祂可以做到用引力捕捉所有反射的光，祂可以赋予物质质量……任何物理世界中的现象，这位神都可以自己做到。”
如果你没有数理逻辑的直觉，你单独去看斯科伦化这种技术手段，你只能局限于“存在量词”消去这一特点，但真正在这个领域有直觉，有想象力的人，可以看出来其本质是将“各个性质”全部打包到一个对象中，只是在谓词逻辑中它被包装成“存在量词的消去”这一技术操作。
在这里，我进一步地将它“人格化”、或者说“神格化”。我觉得只有这样，才能突出斯科伦化在哲学上更本质也更有表现力的东西。
然后关于索菲娅形式和德缪歌形式这种化用诺斯替主义的操作则是一些小巧思。
我之前在网上去找一些神秘学相关的视频之类的，在那里我了解到诺斯替主义，诶，后来我发现，这个索菲娅和德缪歌在某种意义上其实是相同的，但在视频中大多数解释都是“索菲娅”不是一个可以被崇拜的女神，而是如万有引力般的普遍规律，只是其作用于人类的智慧。当时我一直在想，为什么普遍规律不能作为雕像崇拜呢，这二者理论上应该是有相通之处的。
当时就感觉被一种灵感击中了，斯科伦化本身就是将各个满足某规律的对象收集起来，合成一个符合所有规律的对象，这不就是用“规律”化为“全能之神”吗？
当时我就觉得，这是一个极富有想象力的操作，我可以将神话和科学在哲学意象中结合起来。而在进一步地思考中，我觉得我可以不止步于此，斯科伦化本身也是勒文海姆-斯科伦定理的技术手段之一，我还可以在此基础上做一下妖（bushi）。
在模型论的作用中，我们的“德缪歌”不能同时满足矛盾的性质，比如现实中，非标准自然数是c>1，c>2，c>3……来构造出一个“大于一切自然数”的对象，而不是一个“c＝1”且“c≠1”的对象。
但诺斯替主义一开始就是要解构“全能者”只是一种“次级造物主”的幻觉，像是现实世界中的“超自然数”这种“大于一切自然数”的东西还是太现实了，不够震撼，所以我所设想的这个“司寇伦术式”，不仅是将无限个一致的条件汇聚成一个“可以做到无限事件的神”，而是将一切“可定义”，“可说的”东西汇聚起来，形成一个“可以做到一切可定义事件的神”。而“所有的可定义”必然导致矛盾，那么我们就可以套基督徒的说辞——这是人类的逻辑，不能复现在神身上。
当然基督徒肯定还持有“神不可能荒谬”的特征，于是我就在这个基础上添置了维罗妮卡的“只要你把那些性质解释的足够宽泛，宽泛到不会在新世界中产生矛盾”。这就是基督徒的“人类的逻辑会导致神的全能有矛盾，在更大的神的逻辑中是不会导致矛盾的”。
比如“让石头飞”和“不让石头飞”在字面上是矛盾的，但如果把“飞”解释为“在某种参考系中向上运动”，把“不让石头飞”解释为“在另一种参考系中保持静止”，那么同一块石头可以同时满足这两个性质。这不是矛盾，而是视角切换。
当然这只是在简单形式的理解，我的想象力绝不能拘泥于此。我会尽可能地像这样，将那些抽象地，看似乏味的理论“夸大化”、“神话化”，将一个“消去量词”的操作变成“创造上帝”的魔法。哪怕最后会得出与现实的理论相悖的结果，但这不要紧，这是高魔世界观，逻辑也可以被适当改写和豁免。
所以战力体系什么的，我也不想管了，俗话说的好，只要战力膨胀的够快，就没有战力这一概念。
