“为什么啊!”王崎抱着脑袋苦苦思索。

    为什么我的必杀技会变成马赛克斩呢?

    这不科学啊!

    薄筱雅凑到王崎身边,问道:“师兄,你这一剑在外面用过吗?——你知道的,有时候自己悟出的招式会🐏⚣存在一些问题无法成立,然后再这里,无法成立的招式就会出🃉🕿🏔现那种无规律的混乱画面。”

    “我这一招就是🞲‘成立’啊,怎么可能不成立。”王崎哭丧着脸:“而且我在外面明明用过!”

    薄筱雅食指抵着额角,思索道:“难道是与仙盟现有法术完全不一🚆👉样,算器推演不出效果?不至于啊?除非是极少数加权十的顶尖大术,算器才不能在短时间内解析——🈪🁋🄋而加权十的大术全部都在灵犀库里,也不需要解析……不会吧……师兄,这难不成是新的顶尖术法?”

    王崎摇头:“没可能的,我见过加权十的术法,天🗸灵岭妖女艾轻兰的命之炎……🍩🊭我这剑术只有‘一剑’,怎么看也做不到命之炎那样。”

    “一剑的效果?”薄筱雅歪着脑袋看向王🆩💐崎:🕚“这是什么意思?”

    “🚗📡我剑法的基础的一阶逻辑演算……谓词逻辑这个你能够理解吗?”由于打定主意要和薄筱雅合作搞概率论,王崎已经将对方当自己人看待了,也不隐瞒自身杀招:“我的剑法就是取自谓词逻辑的,只有一阶、一剑。但是这一剑是绝对成立的,完备的。只不过反过来说,因为是谓词逻辑,所以只能有一剑。”

    在谓词逻辑中,原子命题分解成个体词和谓词。个体词是可以独立存在的客体,它可以是具体事物或抽象的概念。谓词是用来刻划个体词的性质或事物之间关系🎭的词。量词,是在命题中表示数量的词,量词有两类:全称量词(?),表示“所有的”或“每一个”;存在量🐩词(?),表示🏇🗼♔“存在某个”或“至少有一个”。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑,简称一阶逻辑,又称狭义谓词逻辑。

    一🚗📡阶谓词逻辑非常简陋,简陋到甚至无法准确描⛺🟜述一个概念,“界定🃀🔪自然数”这种简单的事情都超出了一阶谓词逻辑的能力范围。

    但是,根据王崎证明的哥德尔完备定理,或者说,神州的王😿🇌🗇崎完备定理🃳🛶,只有一阶谓词逻辑是完备的,所有一阶谓词演算下的有效命题都可以证明。

    因此,仅限一剑的话,那绝对成立的一🖘💷剑却由着无可匹敌的威力!

    王崎一本正经的说道:“你应当记住,在这个系统里,一说就错,一想就🏵🞜谬,能够阐🟕述这个道理的,除了我那👩篇论文,就只有这‘一剑’。”

    也就是说🉍🆆🍕,这一剑不能配合任何精妙剑法,不能包含🚨任何变化,只能是“一🌩剑”。

    薄筱雅被唬得连连点头。🋖问道:“这么厉害的🕚一剑,师兄有没有取名字?”

    “就‘一阶剑’啊。”

    薄筱雅一🉍🆆🍕脸错愕,怒道:“这么厉害的简述怎么能有这样的名字。”

    王崎轻笑:“你还真是在这种无🌗关紧要🖘💷的地方特别执着啊。”

    “🚗📡哪有。”薄筱雅难🕄🇈🖥得脸红:“这可是师兄你第一个定理啊,而且我个人觉得,这必定是了不得的定理。这样了不起的定理自然会衍生出了不🜡🃪起的一剑,然后这一剑也得配一个了不起的名字……”