ポスト

S(n)として「n(という自然数が表すペアノ算術PAの証明のコード)は0=1の証明でない」をとった時ってどうなるんだっけ?任意の数項nに対してS(n)はPAで証明できると思うけど、∀x S(x)はPAで証明できないんじゃなかったかな

メニューを開く

まつもとりゃーぎん@ufmekiPh6JxVtoN

みんなのコメント

メニューを開く

取ってくるS(n)怖すぎです笑 一旦考えます

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ