Ist ein Raum denkbar, der nur alle rationalen Punkte, aber nicht die irrationalen enthä[k|l]t? Wäre etwa diese Struktur für unsern Raum zu ungenau // grob // ? Weil wir zu den irrationalen Punkten dann (immer) nur annäherungsweise gelangen kön[t|n]ten? // Weil wir die irrationalen Punkte dann nur annäherungsweise erreichen könnten? // Unser Netz wäre also nicht fein genug? Nein. Die Gesetze gingen uns ab, nicht die Extensionen.