Metamathematische Methoden in der Geometrie