Mathematische Logik/Gemischte Satzabfrage/1/Test/Aufgabe
Erscheinungsbild
Formuliere die folgenden Sätze.
- Das Lemma von Zorn.
- Der Vollständigkeitssatz der Aussagenlogik.
- Der Satz über die induktive Definition einer Abbildung auf einem Peano-Dedekind-Modell .