What is Peano Arithmetic?

An explication of Peano Arithmetic, including the five Peano Postulates, the Axioms of Addition and Multiplication, the use of recursion to define the natural numbers, an explanation of mathematical induction as well as several proofs using these axioms and rules.

Sponsors: Daniel Helland, Will Roberts, Dennis Sexton, and √2. Thanks for your support!