しかし、
証明していこう。
公理というのは、証明も反証もできないのであれば、自由に置くことができる。
ペアノの公理に類似した、
「類似ペアノの公理」を置く。
置き方は色々あるが、分かりやすいように
殆どペアノの公理と同値で、"2"と"3"の定義を入れ替えた公理を置く。
今はこれが「類似ペアノの公理」である。
今
■
計算結果がデタラメしか見えないような公理の置き方をすることで、デタラメが正しいことにできる。
正確には
「正しくなった」
のではなく、
「何の疑問の余地もなく正しい」
と言わなければならないことに、注意が必要である。