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