Comment by LudwigNagasena
Comment by LudwigNagasena 4 days ago
But then you would think there is a right answer to “what is true” about categories, and you would face AC again.
Comment by LudwigNagasena 4 days ago
But then you would think there is a right answer to “what is true” about categories, and you would face AC again.
For sure there would have to be a meta theory of some sort. But, I think that many classical mathematicians would be happy with that meta theory to be weaker, rather than stronger. I don't think there is a need for that theory to have AC. After all, thanks to its independence of from the other axioms, AC does not add logical strength to a classical theory.
(For die-hard constructivists, such as myself, the story is of course different. But that story is for a another time. I am presenting the classical view here.)