Endlich axiomatisierbar/Ein Axiom/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass eine endlich axiomatisierbare

Theorie auch durch einen einzigen Ausdruck axiomatisierbar ist.
Eine Lösung erstellen