Gerhard Karl Erich Gentzen was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died of starvation in a Czech prison camp in Prague in 1945, having been interned as a German national after the Second World War.
Gerhard Gentzen in Prague, 1945.
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 Giuseppe Peano. These axioms have been used nearly unchanged in a number of metamathematical investigations, including research into fundamental questions of whether number theory is consistent and complete.
The chain of light dominoes, starting with the nearest, can represent N, however, axioms 1–8 are also satisfied by the set of all light and dark dominoes. 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.