其实Goedel主要是关于算术系统的。但不是所有数学都和数字有关。同时一阶逻辑和标准ZFC都是完备的。

来源: 露重烟微于 2023-11-30 20:51:00 [旧帖] [给我悄悄话] 本文已被阅读：次

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