The First Axioms
A big-bang scene of Peano axioms coalescing into proofs that are immediately 'left as exercises for the reader.'
Use this cartoon
Free for classrooms, worksheets, slides and other non-commercial use under CC BY-NC 4.0, with credit to Ben Orlin.
Cartoon by Ben Orlin, Math with Bad Drawings. https://cartoons.mathwithbaddrawings.com/2024-01-01-the-first-axioms/ (CC BY-NC 4.0)Transcript
[A cosmic swirl of symbols: x = x, if n ∈ ℕ then S(n) ∈ ℕ, S(n) ≠ 0, if x = y then y = x, 2 := 1 + 1…]
[Caption] "Less than 10⁻³⁰ seconds after the big bang, the first axioms began to coalesce into simple proofs, which were immediately left as exercises for the reader."