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