Kategorie:Die Sprache der Prädikatenlogik/Definitionen