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
mit abzählbar vielen Elementen besitzt.