>>388
> グッドスタインの定理はペアノ算術の範囲で記述される定理であり、
なのは解ってるけど、ペアノ算術の範疇で正否が証明できるかどうかは
別問題なのよ。それはゲーデルの第一不完全性定理によって証明されてるでしょ？
WikiPedia には
「ペアノ算術の範囲では証明も否定の証明もできないが、集合論の公理系、
特に無限集合の公理を用いると真であることが言える。」
って書いてあるし。
このスレの住民をナメたらいかんぜよ！