Peano axioms
The two of the five Peano axioms regarding formula_78 and one regarding closedness of formula_138 with respect to formula_135 follow fairly directly from the axioms of infinity.