A proposed solution to organize mathematics by providing a consistent set of axioms for all of mathematics.
- The Language must be Complete Godel’s Incompleteness Theorem disproves the existence of this.
A proposed solution to organize mathematics by providing a consistent set of axioms for all of mathematics.