I took the claim that set theory is the foundation of mathematics seriously and thought ZFC is the axiom of mathematics.
However, I became confused after learning about category theory. The category of sets cannot be constructed in ZFC. It seems to me that an alternative foundation to ZFC is needed.
On what axiomatic system is modern mathematics based?