任何
个足够强
致公设系统，必定是不完备。
即除非这个系统很简单，(所以能叙述不多)，或是包含矛盾，否则必有真叙述不能被证明。
第二不完备定理
任何个足够强致公设系统，必无法证明本身致性。
所以除非这个系统很简单，否则你若在此系统性，证明
本身致性，反而已显出它是不致。
「所谓不完备定理，讲得粗鲁点，就是证明完美系统不可能性啦。」
「不可能……？可是所谓证明，应该是做得到才能证明吧……」
「数学评等只有2人果然不样啦。」
「你为什
看过
成绩单……！」
莉浦拉普做出安抚手势。
为什……」
莉浦拉普喘口气之后，恢复为原本莉浦拉普。
「无法攻击身体，就攻击心理啦。能够窥视他人内心，对他人内心沟通茉莉琪，也可以对自己做相同事啦。平常她都是用这种方式，把喜欢光景当成录影带重复播放享受啦。不过这次……」
茉莉琪甚至能让他人看见那真实过去或幻想，因此她轻易自行回想起最受打击往事，并且再度目睹。
「所以，刚才你说人是谁？」
戈德尔证明过程相当复杂，而其中最核心概念，是古典希腊哲学中个有名诡论(paradox)：说谎者诡论。纪元前6世纪希腊时代个诗人哲学家Epimenides说句很有名话：「所有克里特岛人都是说谎。」这句话有名倒不是因为它是真理，正
「总之，茉莉琪曾经想打造个真正『毫无问题世界』啦。茉莉琪什都看得见，她自己就是完美系统，原本肯定做得到啦，却因为刚才提到不完备定理而失败啦。」
莉浦拉普点点头。
「这个定理证明全能、万能不可能性，反过来说，也证明人类知性永无止尽无限可能性啦。站在茉莉琪角度，代表人类即使不用依循完美系统，也能够不断前进……近似于人类抗拒啦。」
(科普TIME，般所谓不完备定理，分为两个部份：
第不完备定理
莉浦拉普把头摇到「受不，真拿你没办法」程度
「……是现代电脑基础创立者约翰•冯•诺伊曼，以及相对论创立者阿尔伯特˙爱因斯坦好朋友啦。而且是这两位天才赞不绝口伟大智者啦。」
「是喔……那还真厉害……」
翔希率直戚叹。顺带提，铃兰只知道爱因斯坦。她听过亚里斯多德这个名字，却无法立刻想到这个人事迹。睡莲则是只有难以理解般蹙眉，她肯定无所知。
「所以……刚才说那个，是什？」
请关闭浏览器阅读模式后查看本章节，否则可能部分章节内容会丢失。
