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_c

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 https://en.wikipedia.org/wiki/Axiom_of_choice#Real_numbers