更改

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

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

第91行：第91行：

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

−

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

+

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

+

</blockquote>

7,129

个编辑