>>252

ペアノの公理系は無矛盾であることが示されてた気がする。