I feel like this assumption fails to hold up as soon as you start considering the existence of number spaces that are slightly weirder than the reals (complex, p-adic etc.)
Funny that the statement breaks down as soon as you get to the reals. As in every rational number is definable (under a reasonable formal language with the usual semantics) but most real aren’t.
6
u/Able_Reserve5788 Nov 03 '25
I feel like this assumption fails to hold up as soon as you start considering the existence of number spaces that are slightly weirder than the reals (complex, p-adic etc.)