ペアノの公理はどこへいった?