Abstract
It’s often said that set theory provides a foundation for classical mathematics because every classical mathematical object can be modeled as a set and every classical mathematical theorem can be proved from the axioms of set theory. This is obviously a remarkable mathematical fact, but it isn’t obvious what makes it ‘foundational’. This paper begins with a taxonomy of the jobs set theory does that might reasonably be regarded as foundational. It then moves on to category-theoretic and univalent foundations, exploring to what extent they do these same jobs, and to what extent they might do other jobs also reasonably regarded as foundational.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have