>>317
え？コレ知らないで論議してたのｗ　まあいいかｗ

ペアノ公理系とは自然数を定義する公理系のこと。ペアノさんが最初に考えたわけだ。
でも、これを入れた公理系が矛盾があるか矛盾がないか証明できないんだよ。（ちょっと
間違いあるかも知れないがご勘弁ｗ）
つまり実数を定義する際には自然数を定義しなきゃいかんわけで…その自然数自身が
矛盾あるかないか証明できんのだ。