3 ms·Axiom of choice is just an ad hoc theorem taken as axiom. Check out HoTT.by jsprogrammer 10y agoAxiom of choice is just an ad hoc theorem taken as axiom. Check out HoTT.