我对公理体系的完备性这个事不大了解。印象里是说任何一个公理体系，都会存在对错不可能被证明的命题，不知道这个印象对不对？

来源: 于 2024-10-25 17:15:27 [博客] [旧帖] [给我悄悄话] 本文已被阅读：次