Ist ein Raum denkbar der nur alle rationalen Punkte aber nicht die irrationalen enthält? Wäre etwa diese Struktur für unsern Raum zu ungenau? Weil wir die irrationalen Punkte dann immer nur näherungsweise

bestimmen könnten. Unser Netz wäre also nicht fein genug? — Nein. Die Gesetze gingen uns ab nicht die Extensionen.