墨學館門前。
法官云集。
路人避之不及,就連咸京巡衛(wèi)都遠遠繞開。
每個人心中都蕩出了一個充滿血腥味的事件——
法墨爭鋒。
都說現(xiàn)在韓蓀是祭酒,范伢是司業(yè),二人合作無間,應是法墨最團結的時代……
怎么說爭就爭起來了……
便是被召集而來的法官,雖人人面色泰然,心中卻也瑟瑟發(fā)抖。
倒不是怕死怕傷。
而是怕這紛爭與罪名。...

給您添蘑菇啦
哥德爾不完全性定理更準確的描述是:任意一個包含一階謂詞邏輯與初等數(shù)論的形式系統(tǒng),都存在一個命題,它在這個系統(tǒng)中既不能被證明為真,也不能被證明為否。