Mathematische Logik/Gemischte Satzabfrage/18/Aufgabe
Erscheinungsbild
Formuliere die folgenden Sätze.
- Der Satz über die Auffüllung widerspruchsfreier aussagenlogischer Mengen (abzählbarer Fall).
- Der Vollständigkeitssatz der Prädikatenlogik.
- /Fakt/Name