Löwenheim Skolem/Abzählbar/Aufgabe
Erscheinungsbild
Es sei eine abzählbare widerspruchsfreie Ausdrucksmenge. Zeige, dass ein erfüllendes Modell mit abzählbar vielen Elementen besitzt.
Es sei eine
abzählbare
widerspruchsfreie Ausdrucksmenge. Zeige, dass
ein
erfüllendes Modell
mit abzählbar vielen Elementen besitzt.