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