AC is a standard axiom in modern mathematics; relying on it doesn't diminish ontological status any ...
This proposition has not been edited since the history system was added.