@Bohemianrelativist to know what a topological invariant is, you first need to get to the concept of a "homeomorphism"
@Bohemianrelativist I suppose you mean the metric completion; I don't remember the fastest way, but you can show that there is a "unique" ordered field, and then show that the metric completion of Q is such a field
@RodrigodeAzevedo that's a scary thought but we don't have ads on math.SE right? only the community ads — Calvin Khor6 hours ago
@CalvinKhor I don't see ads here, but I see ads on other SE sites where I have few rep points. I believe in making Math SE easy to use and useful for people for whom mathematics is utter torture. Having more tags to help people find questions similar to the ones in their homework would be a step in that direction. — Rodrigo de Azevedo5 hours ago
@MartinSleziak, yes, perhaps some scouting with a fresh account / no account might reveal something. odd that it doesn't appear in the list of privileges
There is also no option to see more ads in the Preferences (but I have this option in e.g. Meta.SE)
Stack Exchange is earning money by ads on the three largest sites (Stackoverflow, Superuser and Serverfault) as well as their Careers platform.
None of the SE 2.0 sites like Math earn any money at the moment.
I guess it might be reasonable to ask about this on Mathematics Meta. (Since in various places there is contradicting information.)
I see the option show/not show more advertisements if I go to my Meta Stack Exchange profile.
@Bohemianrelativist What can be said about this depends on what you already know about metric spaces and completions and what is your definition of real numbers.
In fact, this can be taken as the definition of real numbers.
If you wish, we can briefly discuss this - but I would suggest to go to another room: chat.stackexchange.com/transcript/19167/2021/3/13 (To avoid having two discussions in the same room at the same time.)