Peano axioms
例えば、自然数を Haskell のデータ型として表すと次のようになる（ペアノの公理参照）: