4 ms·
>Actually mathematicians virtually never do this. Almost all of mathematics (from arithmetic to calculus to category theory) operates in the confines of ZFC[1]
by eli_gottlieb 11y ago
>Actually mathematicians virtually never do this. Almost all of mathematics (from arithmetic to calculus to category theory) operates in the confines of ZFC[1] and adds no further axioms.
Except for all the non-ZFC foundations, like type theory or category-theoretic foundations.
- cwzwarich 11y agoRelatively speaking, there are very few mathematicians using those systems to discover new mathematics as opposed to studying them for their foundational interest.
- johncolanduoni 11y agoThey (and those who study ZFC extensions) are the reason I said "virtually"; they are most certainly a small minority among mathematicians. I myself have been studying homotopy type theory as of late.