Endlich axiomatisierbar/Ein Axiom/Aufgabe

Zeige, dass eine endlich axiomatisierbare Theorie auch durch einen einzigen Ausdruck axiomatisierbar ist.

Eine Lösung erstellen