>>667
ZFCは（おそらく）無矛盾、再帰的、かつ算術を含む理論だから
不完全性定理から、ZFCから導出できない算術の命題が存在する。
もし、再帰的なのは計算機科学で出て来るような形式体系に限ったことで、
本物の数学は再帰的でないから不完全ではないのだ、と>>630のようなことを
言う為には、少なくともZFCを超えた範囲に、算術の自明な真理がないといけない、ということ。