送交者: xinku 于 2007-01-22, 19:50:34:

回答: 相关连接在此。 由 Palmetto 于 2007-01-22, 19:39:04:

• the first order theory of real number under addition and multiplication - steven (128 bytes) 2007-01-23, 00:32:40 (122217)
  • sorry, natural number under addition is also complete. (无内容) - steven (0 bytes) 2007-01-23, 00:48:31 (122220)
• 我想，这是说：实数和复数理论不是一个兼容的数学形式化理论 - Palmetto (42 bytes) 2007-01-22, 20:37:03 (122178)
  • 啊？不能在自己体系内证明自恰性就不是一个“兼容”理论？ - xinku (38 bytes) 2007-01-22, 20:41:00 (122179)
    • 说实话，对此问题，我并未弄懂。不过，也请你注意连接中特别提到的： - Palmetto (271 bytes) 2007-01-22, 20:57:42 (122184)
      • 我何时说了所有系统都能定义自然数？ - xinku (142 bytes) 2007-01-22, 21:14:55 (122194)
        • 之所以，实数和复数理论也都是完备的公理化系统 - Palmetto (88 bytes) 2007-01-22, 21:52:11 (122205)
• 另外，关于皮亚诺算术公理 - Palmetto (70 bytes) 2007-01-22, 20:23:57 (122175)
  • 歌德尔本来说的就是关于自然数的皮亚诺公理体系是不完备的！ (无内容) - xinku (0 bytes) 2007-01-22, 20:27:37 (122177)
• 此连接中说：“塔斯基(Tarski)证明了实数和复数理论都是完备的公理化系统。” - Palmetto (78 bytes) 2007-01-22, 20:18:15 (122174)
  • 是那个Tarski，可是Tarski何时证明了实数和复数理论都是完备的公理化系统？ - xinku (57 bytes) 2007-01-22, 20:25:46 (122176)

加跟贴