Endlich axiomatisierbar/Ein Axiom/Aufgabe

Zeige, dass eine endlich axiomatisierbare

Theorie auch durch einen einzigen Ausdruck axiomatisierbar ist.

Eine Lösung erstellen