更改

库尔特·哥德尔 Kurt Gödel (查看源代码)

添加27字节、 2021年7月12日 (一) 00:17

第89行：第89行： −

If a (logical or axiomatic formal) system is consistent, it cannot be complete.

+

<blockquote>''If a (logical or axiomatic formal) system is consistent, it cannot be complete.

−

如果一个(逻辑或公理化的正式)系统是一致的，那么它就不能是完整的。

+

如果一个(逻辑或公理化的正式)系统是一致的，那么它就不能是完整的。</blockquote>

7,129

个编辑