Empirische Geometrie und Raum-Zeit-Theorie in mengentheoretischer Darstellung