logoalt Hacker News

pasyesterday at 8:20 PM0 repliesview on HN

there are questions where the abstraction of real numbers becomes leaky, and some axioms (or their lack) poke through.

https://en.wikipedia.org/wiki/Axiom_of_choice#Real_numbers