>>12321413Mathematicians like explicating complex systems even if it does not result in any meaningful new mathematics.
One example is basing the foundations of math on set theory and not on arithmetic. Why bother doing this? If there was a set theory that produced a theory of arithmetic that did not comport with naive arithmetic, it would just be thrown out. So why not just start with naive arithmetic as the foundation?
