Peano axioms
従って (1) および (2) により、ペアノの公理Vによって、formula_4 は formula_19 に一致し、よって命題 formula_2 がすべての自然数 formula_3 において成り立つ。