Löwenheim Skolem/Abzählbar/Aufgabe

Es sei $\mathrm{\Gamma }\subseteq L^S$ eine abzählbare widerspruchsfreie Ausdrucksmenge. Zeige, dass $\mathrm{\Gamma }$ ein erfüllendes Modell mit abzählbar vielen Elementen besitzt.

Eine Lösung erstellen