Theorema Löwenheim–Skolem

Nulla Vicipaediae Latinae pagina huc annectitur. Quaesumus in alias commentationes addas nexus ad hanc paginam relatos. Quo facto hanc formulam delere licet. → Interpretationes vernaculae

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 ${\mathfrak {M}}\vDash T$ ut $\vert {\mathfrak {M}}\vert =\alpha$.

Haec stipula ad mathematicam spectat. Amplifica, si potes!