Set-theoretic foundations were developed to formalize existing mathematics, not to enable it; the pr...
This proposition has not been edited since the history system was added.