No. Every field can "define" its own true or false.
所有跟贴·加跟贴·新语丝读书论坛
送交者: Amsel 于 2007-12-21, 14:02:44:
回答: 只有数学可以自己定义对错 由 eddie 于 2007-12-21, 12:59:47:
If you meant "to prove" instead of "to define", just consider how you can prove "paralell lines do not cross" and the continuum hypothesis.
所有跟贴:
加跟贴