1/30/2022 -- Advanced 2B: Peano Axioms II

Peano axioms provide a rigorous foundation for the natural numbers and arithmetic. We will list the axioms and develop competing systems for the counting numbers. Can we make it all the way to the rational numbers with only a handful of axioms?