AK小說 www.06ak .com，最快更新走進修仙最新章節！

「為什么啊！」王崎抱著腦袋苦苦思索。

為什么我的必殺技會變成馬賽克斬呢？

這不科學啊！

薄筱雅湊到王崎身邊，問道：「師兄，你這一劍在外面用過嗎？——你知道的，有時候自己悟出的招式會存在一些問題無法成立，然後再這里，無法成立的招式就會出現那種無規律的混亂畫面。」

「我這一招就是『成立』啊，怎么可能不成立。」王崎哭喪著臉：「而且我在外面明明用過！」

薄筱雅食指抵著額角，思索道：「難道是與仙盟現有法術完全不一樣，算器推演不出效果？不至於啊？除非是極少數加權十的頂尖大術，算器才不能在短時間內解析——而加權十的大術全部都在靈犀庫里，也不需要解析……不會吧……師兄，這難不成是新的頂尖術法？」

王崎搖頭：「沒可能的，我見過加權十的術法，天靈嶺妖女艾輕蘭的命之炎……我這劍術只有『一劍』，怎么看也做不到命之炎那樣。」

「一劍的效果？」薄筱雅歪著腦袋看向王崎：「這是什么意思？」

「我劍法的※↙，基礎的一階邏輯演算……謂詞邏輯這個你能夠理解嗎？」由於打定主意要和薄筱雅合作搞概率論，王崎已經將對方當自己人看待了，也不隱瞞自身殺招：「我的劍法就是取自謂詞邏輯的，只有一階、一劍。但是這一劍是絕對成立的，完備的。只不過反過來說，因為是謂詞邏輯，所以只能有一劍。」

在謂詞邏輯中，原子命題分解成個體詞和謂詞。個體詞是可以獨立存在的客體，它可以是具體事物或抽象的概念。謂詞是用來刻劃個體詞的性質或事物之間關系的詞。量詞，是在命題中表示數量的詞，量詞有兩類：全稱量詞（?），表示「所有的」或「每一個」；存在量詞（?），表示「存在某個」或「至少有一個」。只包含個體謂詞和個體量詞的謂詞邏輯稱為一階謂詞邏輯，簡稱一階邏輯，又稱狹義謂詞邏輯。

一階謂詞邏輯非常簡陋，簡陋到甚至無法准確描述一個概念，「界定自然數」這種簡單的事情都超出了一階謂詞邏輯的能力范圍。

但是，根據王崎證明的哥德爾完備定理，或者說，神州的王崎完備定理，只有一階謂詞邏輯是完備的，所有一階謂詞演算下的有效命題都可以證明。

因此，僅限一劍的話，那絕對成立的一劍卻由著無可匹敵的威力！

王崎一本正經的說道：「你應當記住，在這個系統里，一說就錯，一想就謬，能夠闡述這個道理的，除了我那篇論文，就只有這『一劍』。」

也就是說，這一劍不能配合任何精妙劍法，不能包含任何變化，只能是「一劍」。

薄筱雅被唬得連連點頭。問道：「這么厲害的一劍，師兄有沒有取名字？」

「就『一階劍』啊。」

薄筱雅一臉錯愕，怒道：「這么厲害的簡述怎么能有這樣的名字。」

王崎輕笑：「你還真是在這種無關緊要的地方特別執著啊。」

「哪有。」薄筱雅難得臉紅：「這可是師兄你第一個定理啊，而且我個人覺得，這必定是了不得的定理。這樣了不起的定理自然會衍生出了不起的一劍，然後這一劍也得配一個了不起的名字……」

「好了，我還是想一想到底是什么原因吧。」王崎站起身，再次劈出兩劍，依舊是大片馬賽克。

尼瑪，聖光、馬賽克，再來個暗影就湊齊和諧之力吧？或者在仙俠世界應該叫「諧之道」？