Kategorie:Die Sprache der Prädikatenlogik/Definitionen

Diese Kategorie ist eine mathematische Definitions-Kategorie.