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.Formuliere ein prädikatenlogisches Axiomensystem für einen metrischen Raum über einem angeordneten Körper
mit Hilfe von Sortenprädikaten.