/sci/ - Science & Math

>>11754339
>In the fields that are not directly 'about' foundations, such as Algebra/Geometry/Topology, very few people care about ZFC.
This. Things work well enough for them to be intuitive. And when you for some reason need to deal with something big like the whole category of modules or based spaces w/e, you dodge problems by using Grothendieck universes or the Bernays-Gödel-von Neumann axioms and say that the objects give you a class in the sense of that triumvirate. Hardly ever should there be a situation where one actually has to consider the actual axioms, other than maybe AC if one wants to dispute it or to give a content warning to people allergic to it, when doing stuff.

>>11754358
Overcoming the "i am stupeed" is an exercise of butt muscles. You sit, you study, you learn, you start to understand, you appreciate even more.

>>11754367
It is unironically a hydra. Every time you learn something, new questions pop up. Then you keep chopping the new heads and more grow to replace them.