User:Dfeuer/Natural Numbers Satisfy Peano Axioms

Theorem
The natural numbers satisfy the Peano axioms.

Proof

 * User:Dfeuer/Zero is Natural Number
 * User:Dfeuer/Successor of Natural Number is Natural Number
 * User:Dfeuer/Zero has no Predecessor
 * User:Dfeuer/Successor Mapping is Injective
 * User:Dfeuer/Principle of Mathematical Induction