Äquivalenzrelation/Axiomensystem/Aufgabe
Formuliere ein Axiomensystem für das Konzept Äquivalenzrelation in einer prädikatenlogischen Sprache erster Stufe.
Formuliere ein Axiomensystem für das Konzept Äquivalenzrelation in einer prädikatenlogischen Sprache erster Stufe.