Peano axioms
無限集合の公理により集合 "M" が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。