现代的数学研究抽象到了哪种地步?

======更新2023-04-20======

不要被数学的抽象吓到啊,公理化只是一个手段,并不是目的。


这是一个从 https://www.zhihu.com/question/594329626/answer/2976110636 下的原始话题分离的讨论话题