哥德尔说得是有些数学系统,一阶逻辑是完备的。
来源:
露重烟微
于
2023-11-05 21:37:00
[
旧帖
] [
给我悄悄话
] 本文已被阅读:次