the first order theory of real number under addition and multiplication
所有跟贴·加跟贴·新语丝读书论坛
送交者: steven 于 2007-01-23, 00:32:40:
回答: 你的这个连接的内容，在我看来，恰恰是漏洞百出的 由 xinku 于 2007-01-22, 19:50:34:
is decidable, hence, it is complete. Natural number under addition and multiplication is also complete. Both sets are recursive.
所有跟贴:
加跟贴