Hatcher (1982) derives Peano's axioms from several foundational systems, including ZFC and category theory, and from the system of Frege's "Grundgesetze" using modern notation and natural deduction.
Hatcher (1982) derives Peano's axioms from several foundational systems and from the system of Frege's "Grundgesetze" using modern notation. Hatcher (1982) derives Peano's axioms from several foundational systems and from the system of Frege's "Grundgesetze" using natural deduction. This is including ZFC. This is including category theory.