首页>鬼灭开局一把斩魄刀免费阅读 > 第15章 钟表匠

第15章 钟表匠

目录

时空异想体,钟表匠少女,外表年龄17岁妙龄少女,实龄未知,Ex实体编号072,危险程度异常,收容难度无法收容,一切设定,机制但凡需要空间位置与时间写出,包括又不限于全知全能,无敌于一切,秒杀一切,叙事修改,掌握现实等等……

攻击,防御,速度,耐力,范围,攻速,恢复力,智力,寿命,破坏,精度,法抗,魔法,特殊能力,精神,力量等……全方位能创造

逻辑多元:V-逻辑(V-logic)V-逻辑具有以下的常元符号:aˉ表示V的每一个集合aVˉ表示宇宙全体集合容器V在一阶逻辑的推理规则上添加以下规则:

作为宽度完成主义者,我们不能直接谈论外模型,甚至不能谈论不属于V的集合。

然而,使用V-逻辑,我们可以间接地谈论它们。

考虑V-逻辑中的理论,我们不仅有表示V的元素的常元符号aˉ和表示V本身的常元符号Vˉ,而且还有一个常元符号wˉ来表示V的"

外模型我们增加以下新公理。

1.宇宙V是ZFc(或至少是Kp,可接受性理论)的一个模型。

2.wˉ是ZFc的一个传递模型,包含Vˉ作为子集,并且与V有相同的序数。

因此,现在当我们采取一个遵守V-逻辑规则的公理模型时,我们会得到一个模拟ZFc(或至少是Kp)的宇宙,其中Vˉ被正确地解释为V,wˉ被解释为V的外模型。

请注意,V-逻辑中的这一理论是在没有“加厚”

V的情况下提出的,实际上它是在V+=La(V)内定义的。

由于我们采用了高度(而不是宽度)潜在主义,后者又是有意义的。

最终我们可以用V-逻辑将Imh转写为以下形式:假设p是一个一阶句子,上述理论连同公理“wˉ满足p”

在V-逻辑中是一致的。

那么p在V的一个内模型中成立。

最终我们成功避免了直接谈论V的“增厚”

(即“外模型”

),而是谈论用V-逻辑制定的理论的一致性,并在V+中定义使得满足宽度潜在主义。

在可数模型上,宽度完成主义和激进潜在主义是等效的。

通过V-逻辑,我们可以得到V+(V-逻辑+ZFc的模型)也就是逻辑多元V-逻辑足够广泛,可以包含各种外部。

与超宇宙的概念相反,V-逻辑不能化简为可数传递模型的集合,因为V不需要被认为是可数的。

以后我们或许得到V*(任一一致的逻辑+ZFc的模型)这种宇宙

本章未完,点击下一页继续阅读



返回顶部