A proposed solution to organize mathematics by providing a consistent set of axioms for all of mathematics. 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. Godel’s Incompleteness Theorem disproves the existence of this.