Introduction E9F5FC

Questions FFFFC0

• View
• Edit
• History
• Print

Logic, Category theory

Set theory

• https://en.wikipedia.org/wiki/Large_cardinal
• What is the Large cardinal hypothesis?
• Roads to Infinity: The Mathematics of Truth and Proof
• https://www.routledge.com/Roads-to-Infinity-The-Mathematics-of-Truth-and-Proof/Stillwell/p/book/9781568814667

https://en.wikipedia.org/wiki/Goodstein%27s_theorem

• Shows that the provability of a statement may depend on how powerful is the notation supported by the axioms.
• Gives clues on how the limitations of Goedel's Incompleteness theorem https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems might be overcome, for example, by a growing set of axioms, potentially infinite, by which the notation would become ever more powerful, thus becoming more complete.