Infinite photos and videos for every Wiki article · Find something interesting to watch in seconds
History
Page
Gerhard Gentzen in Prague, 1945.
Gerhard Gentzen in Prague, 1945.
Page
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 domin
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.