Peano axioms
数学的帰納法が成り立つことを数学的帰納法の原理といい、ペアノの公理Ⅴが数学的帰納法の原理そのものを表しているが、数学的帰納法の原理をあえて証明するならば、次のように証明される。