>>324
ゲーデル本人による不完全性定理の証明では実無限を使っていないし、
定理の対象となる形式的理論にしたって、ペアノ算術のような可能無限的理論に対応するものだってあり得る。
不完全性定理の証明の方法には、実無限を利用したお手軽バージョンもあるので、勘違いしたのではなかろうか。