可证明的不可证明性

• 书名：哥德尔传
• 作者名：(美)斯蒂芬·布迪安斯基
• 本章字数：2910字
• 更新时间：2022-09-16 10:23:43