>>533
ゲーデルの不完全性定理は自然数論を含むという前提だから、自然数論を含まなければ問題ない。有限の数だけ扱えばいい。