爬书网

手机浏览器扫描二维码访问

第15章 钟表匠(第1页)

时空异想体,钟表匠少女,外表年龄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+=Lα(V)内定义的。

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

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

在V-逻辑中是一致的。

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

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

(即“外模型”

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

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

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

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

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

在遥远的未来,当科技与神秘力量交织在一起,一个名为“时空异想体”

热门小说推荐
腹黑世子妃日常

腹黑世子妃日常

一朝穿越,腹黑狡诈的她竟成身中寒毒的病弱千金,未婚夫唯利是图,将她贬为贱妾,她冷冷一笑,勇退婚,甩渣男,嫁世子,亮瞎了满朝文武的眼。不过,世子,说好的只是合作算计人,你怎么假戏真做了?喂喂,别动手动脚的。世子腹黑一笑你手太凉了,我帮你暖暖脚也凉了,我帮你暖暖。慕容雪愤怒你还不如说我全身都凉,都要暖暖。世子点头好主意!慕容雪满头黑线喂喂喂,手,手往哪儿放呢?...

下山打法师

下山打法师

书中自有黄金屋,山下林立豪华城。自幼生在蜀山,下山的林白沐渐渐被现代吸引。击败法师弘扬道法是重任,赚取钱财品尝美食是天命。至于魔法师?顺带着打打也就算了!好了,这个城市的美食已经品尝过了,去下一个城市吧!好的大哥哥!等等我!领着一只被卖了估计也帮数钱的萝莉,林白沐开始了华夏天国的旅途。(一个山上长大的孩子下山,走进了魔法世界的故事)...

我老爹是叫门皇帝

我老爹是叫门皇帝

正统十四年,老爹朱祁镇御驾亲征,本是想将大明威仪远播塞外,没成想,竟是肉包子打狗,有去无回,沦为叫门皇帝,没有利用价值后,被放回了京师,幽禁南宫,现在老爹又在叫门。在算着日子的朱见深有些慌...

择日飞升

择日飞升

作为捕蛇者,许应一直老老实实勤恳本分,直到这一天,他捉到一条不一样的蛇三月初一,神州大地,处处香火袅袅,守护着各个村落乡镇城郭州郡的神像纷纷苏醒,享受黎民百姓的祭祀。然而,从这一天开始,天下已乱...

无上霸天

无上霸天

身怀魔道绝世秘典,苗疆第一恶霸意外穿越到了异界。魔法?斗气?统统弱爆了!创世大陆,一个小胖哥从此风骚崛起,彪悍的开启了一段无良,无耻,无赖,无敌的无上传说!...

钦天监快出手吧国家瞒不住了

钦天监快出手吧国家瞒不住了

张晨穿越诡异世界,联手小哥,重铸钦天监!天不诛之妖,我钦天监来诛!地不填之堑,我钦天监来填!死亡公路,车祸频发!关注高速官方,立镇魂石,颂往生经!地铁塌陷,无法通车!关注城建官方,打七星钉,刻穷奇像!水库命案频发,闸门松动报警!关注水利官方,以青铜铸霸下,托铜棺沉于湖底!长江屠蛟,昆仑镇魔!西出蛮荒之地,东临海天之巅!凡九州之域,钦天监之辖,神魔皆避!...

每日热搜小说推荐