Theorema Löwenheim–Skolem

Formula:Pagina non annexa Theorema Löwenheim–Skolem est theorema theoriae exemplarum quod exemplarum theoriae congruentis omnium cardinalitatum infinitarum monstrat.

Expositio

Theorema. Sit theoria countabilis $T$ quae exemplarem infinitam habeat. Sit $\alpha$ cardinalitas infinita. Tum est exemplar $𝔐\models T$ ut $|𝔐|=\alpha$.