至于说“崩了”的事儿，这个真的只能等到真崩了的那一天。至少现在，哥德尔还不算太“嚣张”。哥德尔命题们大体都是些旮旯里奇形怪状的，还好……
再一个，虽然有不完备定理这种让希尔伯特下不来台的，但是好歹还有哥德尔完备定理保命，所以暂时还是，还好……
【 在 l1978 的大作中提到: 】
: 嗯，我理解哥德尔的论证，所谓哥德尔命题在元数学语义上构建了一个不可证的自指性命题，但在原系统仍是一个语义清晰明确的合法命题，也不好说自己证自己。另外不断扩充公理集的解决方案，也就等效于将一个哥德尔命题或其否命题加入公理集，在悲观派看来数学的基础完全不坚实啊，没准哪天就崩了
--
修改:molar FROM 111.201.79.*
FROM 111.201.79.*