送交者: Palmetto 于 2007-01-22, 20:18:15:

回答: 你的这个连接的内容，在我看来，恰恰是漏洞百出的 由 xinku 于 2007-01-22, 19:50:34:

• 是那个Tarski，可是Tarski何时证明了实数和复数理论都是完备的公理化系统？ - xinku (57 bytes) 2007-01-22, 20:25:46 (122176)

加跟贴