>>630
>君は
>「すべての自然数ｎについて性質Ｐが成り立つ」
>を証明するのに、
>「個々のｎについて性質Ｐが成り立つ」
>ということを全部証明してる？
それ不十分。
証明は有限長だから　P(0),P(1),・・・はすべて証明可能⇒∀nP(n)は証明可能　は言えないから。
P(0),P(1),・・・と¬∀nP(n)がすべて証明可能である理論はω矛盾しているという。