Konstruktion und Anwendung eines axiomatischen Systems