>>663

以下が分かりにくいので書き直して
…………………………………………

不完全性定理は実質的に算術についての定理だから自然数に関する命題に限って話すが、
>>630の言うように、我々の算術に関する知識が実は再帰的でなく、完全である為には、
ZFCから導出不能であるような算術の命題が、実は自明で証明の要らない基本的命題だった、
ということが起きていないといけない。でもの可能性はほとんど考え難い。