>>146
・Nの空でない任意の部分集合に最小元が存在する。
・数学的帰納法
を用いてZが除法の原理に従うことを示せば十分。
究極的にはペアノの公理から始める。