不完备定理的考察系统：蕴涵皮亚诺算术公理且自洽的形式系统。

来源: 露重烟微于 2024-10-26 06:56:00 [旧帖] [给我悄悄话] 本文已被阅读：次

WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.