哥德尔说得是有些数学系统,一阶逻辑是完备的。

来源: 2023-11-05 21:37:00 [旧帖] [给我悄悄话] 本文已被阅读: