The Gödel incompleteness theorem from a length-of-proof perspective. (English) Zbl 0426.03061
MSC:
03F20 | Complexity of proofs |
03F30 | First-order arithmetic and fragments |
01A65 | Development of contemporary mathematics |
03H15 | Nonstandard models of arithmetic |
03C99 | Model theory |
03-03 | History of mathematical logic and foundations |