也不需要解析……不會吧……師兄，這難不成是新的頂尖術法？”

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

“一劍的效果？”薄筱雅歪著腦袋看向王崎：“這是什麼意思？”

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

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

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

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

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

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

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

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

“就‘一階劍’啊。”

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

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

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

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

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

薄筱雅也冥思苦想：“幻境本身不會有問題……師兄你的劍術也是能夠使出來的……到底是哪一步除了問題呢？”

王崎又揮了兩劍，嘆道：“我再試幾次吧……”

“你再試幾次就得準備好賣身給薄家了。”突然，馮落衣出現在王崎面前。他看了薄筱雅一眼，然後說道：“或者你是準備直接倒插門過去？”

薄筱雅臉色染霞：“馮前輩您怎麼能開這種玩笑？”

“馮老師。”王崎見禮：“您怎麼會在這裡？和我的劍術有關？您知道這是為什麼嗎？”

馮落衣坐下，說道：“確實有些關係。你知道算器的原理嗎？這個你應該懂的。”

王崎點點頭：“最底層的就是有與無、陰與陽的二值判斷。無數次二值判斷積累之後就可以形成一套系統……”

“圖靈老弟的構想，一個非常完善的邏輯，就像是高聳入雲的塔樓。”馮落衣說道：“但是我們的算學還不完備，建立這套系統的時候，我們沒人看清粗它的