Peano axioms
Videos
In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th-century Italian mathematician Giusepp
The chain of light dominoes on the right, starting with the nearest, can represent the set N of natural numbers. However, axioms 1–8 are also satisfied by the set of all dominoes—whether light or dark—taken together. The 9th axiom (induction) limits N to the chain of light pieces ("no junk") as only light dominoes will fall when the nearest is toppled.
Thoralf Skolem
Videos
Thoralf Albert Skolem was a Norwegian mathematician who worked in mathematical logic, set theory, and number theory.
