Löwenheim Skolem/Abzählbar/Aufgabe
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