人気ポスト
数学的帰納法ってA. ならB. ですよーって言ってるイメージがある A. すべての自然数nで「命題S(n)は証明可能」 B. 「すべての自然数nで命題S(n)」は証明可能
メニューを開くみんなのコメント
メニューを開く
S(n)として「n（という自然数が表すペアノ算術PAの証明のコード）は0=1の証明でない」をとった時ってどうなるんだっけ？任意の数項nに対してS(n)はPAで証明できると思うけど、∀x S(x)はPAで証明できないんじゃなかったかな
数学的帰納法ってA. ならB. ですよーって言ってるイメージがある A. すべての自然数nで「命題S(n)は証明可能」 B. 「すべての自然数nで命題S(n)」は証明可能
メニューを開くS(n)として「n（という自然数が表すペアノ算術PAの証明のコード）は0=1の証明でない」をとった時ってどうなるんだっけ？任意の数項nに対してS(n)はPAで証明できると思うけど、∀x S(x)はPAで証明できないんじゃなかったかな
