第二百一十六章 这个思路……(3/3)
如何证明?若是这个系统乃是不可相容、不一致的呢?”“啊?”苏君宇眨眨眼:“不一致……”
在不完备的打击之下,集合论现在就像个筛子一样,似乎不堪一击。
苏君宇眨眨眼睛:“对哦,似乎有人证明集合论不完备……没道理它一定是一致性的……”
项琪左看看右看看,然后迟疑的出声道:“那个……从刚才开始我就没听懂了……这个,苏君宇这家伙,现在是做了,无用功?”
“也不是无用功。几年前,我们就证明了许多系统的一致性,现在依旧可以。不全之律,只不过是说‘完备性和一致性不能同时存在’。”冯落衣从众人背后越了出来,站到众人面前,道:“这个方向,我觉得可以做一做。”([m.2345xs.cc 2345小说网]~^~)
pom69shu-->
状态提示: 第二百一十六章 这个思路……
本章阅读结束,请阅读下一章
本章阅读结束,请阅读下一章