Whenever I encounter this sort of abstract math (at least “abstract” for me) I start wondering what’s even “real”. Like, what is some foundational truth of reality vs. stuff we just made up and keep exploring. Are these knots real? Are prime numbers real? Multiplication? Addition? Are natural numbers really “natural”? For example, one thing that always seemed bizarre to me for as long as I can remember is Pi. If circ…
As you dig through integers, fractions, square roots, solutions to polynomials, things a turing machine can output, you get to increasingly large classes of numbers which are still all countably infinite.
At some point I realised I'd covered anything I could ever imagine caring about and was still in a countable set.