3 ms·
Your recasting of the problem reminds me of the Axiom of Choice, which leads to similar questions if not included.
by Manishearth 10y ago
Your recasting of the problem reminds me of the Axiom of Choice, which leads to similar questions if not included.
- jsprogrammer 10y agoAxiom of choice is just an ad hoc theorem taken as axiom. Check out HoTT.