>>496
不完全性定理は、真偽の話じゃなくて証明可能の話でしょ
たとえば「この命題の否定が証明可能である」みたいなね

>>499
？実数を扱うときは述語論理じゃ駄目で別の論理が必要、
複素数を扱うときはさらにまた別の論理が必要、と言うこと？
本気で言っている？