墨學(xué)館門前。
法官云集。
路人避之不及,就連咸京巡衛(wèi)都遠(yuǎn)遠(yuǎn)繞開。
每個(gè)人心中都蕩出了一個(gè)充滿血腥味的事件——
法墨爭鋒。
都說現(xiàn)在韓蓀是祭酒,范伢是司業(yè),二人合作無間,應(yīng)是法墨最團(tuán)結(jié)的時(shí)代……
怎么說爭就爭起來了……
便是被召集而來的法官,雖人人面色泰然,心中卻也瑟瑟發(fā)抖。
倒不是怕死怕傷。
而是怕這紛爭與罪名。...
給您添蘑菇啦
哥德爾不完全性定理更準(zhǔn)確的描述是:任意一個(gè)包含一階謂詞邏輯與初等數(shù)論的形式系統(tǒng),都存在一個(gè)命題,它在這個(gè)系統(tǒng)中既不能被證明為真,也不能被證明為否。