Hi everyone!
As it is widely known, Zermelo–Fraenkel set theory with the axiom of choice, also widely known as ZFC, has several fatal flaws:
- Nobody remembers the axioms accurately;
- in ZFC, it is always valid to ask of a set ‘what are the elements of its elements?’, and in ordinary mathematical practice, it is not.
From now on, please use the Lawvere's Elementary Theory of the Category of Sets instead of ZFC:
|
Only by switching to a superior set of set theory axioms we can save mathematics. Thank you for your attention.
P.S. On a more serious note, I think that their approach is quite interesting and it is useful to revisit the fundamentals once in a while. Overall, as highlighted in An Infinitely Large Napkin, we understand things much better when we think about them as "sets and structure-preserving maps between them" rather than just "sets and their elements", as suggested by ZFC.