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.

Català: No hi ha cap article a la Viquipèdia en llatí que enllaci amb aquest. Si us plau, aneu a una pàgina relacionada amb el tema i afegiu-hi un enllaç que dirigeixi el lector cap aquí. Un cop ho hagueu fet, podreu esborrar la plantilla.
Deutsch: Kein anderer Artikel der lateinischen Vicipaedia verweist auf diesen. Bitte füge in einem nahverwandten Artikel einen Verweis hierhin ein. Sobald dies geschehen ist, kann diese Vorlage entfernt werden.
English: No other page on the Latin Vicipaedia links to this. Please go to a closely related page and insert a link pointing here. Once that is done, this header can be deleted.
Esperanto: Neniu alia paĝo de la latinlingva Vikipedio havas ligilon al tiu ĉi paĝo. Bonvolu iri al teme proksima artikolo kaj meti ligilon tien ĉi. Poste vi rajtas forigi la atentigilon pri ligilmalĉeesto.
Italiano: Nessun'altra pagina sulla Wikipedia in latino si collega a questo articolo. Vai a una pagina strettamente correlata e inserisci un link che punta qui. Fatto ciò, questa intestazione può essere cancellata.

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$ .

mathematica

Haec stipula ad mathematicam spectat. Amplifica, si potes!