Es kann sinnvoll sein, einen kurzen Beweis dafür beizufügen, daß jeder topologische Raum, der bestimmte einfache Bedingungen erfüllt, unzählbar sein muß und vielleicht auch die Realitäten diese Bedingungen erfüllen.  Dass die Realen unzählbar sind, kann mehr einfach dadurch bewiesen werden, dass sie linear so geordnet sind, dass es zwischen zwei Punkten einen anderen gibt und sie die am wenigsten oben gebundene Eigenschaft erfüllen (man braucht sicherlich nicht über Dezimalzahlen zu sprechen, obwohl das eine Möglichkeit ist, es zu tun).