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