User:Dfeuer/Peano Axioms

Axiom
NOTE: I am well aware that these are phrased differently from the ones in Main. We can resolve the differences later—nothing horrible here.