Metrischer Raum/Erste Stufe/Sortenprädikate/Aufgabe

Formuliere ein prädikatenlogisches Axiomensystem für einen metrischen Raum über einem angeordneten Körper

mit Hilfe von Sortenprädikaten.