For his thesis Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, which was a consistency proof of arithmetic apparently without Peano induction (although it did use e
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event