Löwenheim Skolem/Abzählbar/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine abzählbare widerspruchsfreie Ausdrucksmenge. Zeige, dass ein erfüllendes Modell

mit abzählbar vielen Elementen besitzt.
Eine Lösung erstellen