Wir setzen voraus, dass die Modelle der Geometrie die Form
〈 P, G, E, 
, d 〉
haben und dass die Hypothesen für die Modelle der Geometrie gültig sind.
a) Formulieren Sie ein Messmodell der Triangulation mengentheoretisch im Detail. Beweisen Sie, dass ihr Messmodell ein Teilsystem eines Modells der Geometrie ist. (Hinweis: Bei Einschränkung kann eine Komponente auch wegfallen.)
b) Beschreiben Sie genau den zu bestimmenden und den vorausgesetzten Teil des Messmodells.