Kedves Andy Capp, referalok: a kontinuum az kontinuum a megsz. modellben is.
Viszont a nyelv nem feltetlenul van a "modellben", lehet a metanyelvben is, azaz a masodrendu ZFC-ben (vagy modellelmeletileg a M` megsz-o ZFC-modell halmaz egy M nagy, "igazi" modellben, es a nyelv szavai lehetnek halmazok is M`-ben). Ekkor
1. a nyelv megszamlalhato, mert ennyi zart formula van.
2. a megszamlalhato sok zart formula szemantikusan es minimalisan a megsz-o modellt generalja, azaz nemcsak a nyelv megszamlalhato, de kovetkezmenykent meg a szemantika is (ez az eszrevetel a leszallo L-S kanonikus bizonyitasa). De ez mar csak hab a tortan, mert hogy maga egy atirasi szabaly tartalmilag tesz-e utalast nagy szamossagra, mindegy, kulonosen a form. ny.e.-ben.
Koszonom a lehetoseget. :)