Peano axioms
自然数のシステム (N, 0, suc) はペアノの公理を満たすことが示される。