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.