Hacker News new | past | comments | ask | show | jobs | submit login

Your recasting of the problem reminds me of the Axiom of Choice, which leads to similar questions if not included.



Axiom of choice is just an ad hoc theorem taken as axiom. Check out HoTT.




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: