更新时间:2022-12-03 12:52 而哥德尔证明,任何有用的高阶形式数学系统,都无法证明系统内的所有命题为真。 造句词语 无法造句 数学造句 任何造句 有用造句 高阶造句 证明造句 系统造句 形式造句 哥德尔造句 所有造句 命题造句