← Back to Mathematics Database Peano Axioms (Wikipedia)

Peano Arithmetic & Gödel Theorems

Axiomatic development of natural number arithmetic, Gödel's Completeness and Incompleteness Theorems, and Paris' independence results. Based on Landau, Gödel, Kirby, Paris, Harrington. Split into eleven views.

Chart 1 — Axioms & Addition Foundations Chart 2 — Commutativity, Multiplication, Distributivity Chart 3 — Order & Induction Chart 4 — First-Order Logic (FOL) Chart 5 — Formalization & Gödel Numbering Chart 6 — Gödel's Completeness Theorem Chart 7 — First Incompleteness Theorem Chart 8 — Second Incompleteness Theorem Chart 9 — Paris-Harrington Theorem Chart 10 — Goodstein & Kirby-Paris Indicators Chart 11 — Hydra Game