Metrischer Raum/Erste Stufe/Sortenprädikate/Aufgabe

Aus Wikiversity
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.
Eine Lösung erstellen