所以Goedel为啥要费劲编码，心证即可：不管回答公理系统能不能推出所有定理，您都丧失了自己的佛性。同曲同工，是不是更妙？

来源: 于 2024-10-26 22:50:00 [旧帖] [给我悄悄话] 本文已被阅读：次