送交者: Palmetto 于 2007-01-22, 20:57:42:

回答: 啊？不能在自己体系内证明自恰性就不是一个“兼容”理论？ 由 xinku 于 2007-01-22, 20:41:00:

• 我何时说了所有系统都能定义自然数？ - xinku (142 bytes) 2007-01-22, 21:14:55 (122194)
  • 之所以，实数和复数理论也都是完备的公理化系统 - Palmetto (88 bytes) 2007-01-22, 21:52:11 (122205)

加跟贴