Metrischer Raum/Erste Stufe/Sortenprädikate/Aufgabe
Zur Navigation springen
Zur Suche springen
Formuliere ein prädikatenlogisches Axiomensystem für einen metrischen Raum über einem angeordneten Körper
mit Hilfe von Sortenprädikaten.