Theorema Löwenheim–Skolem

E Vicipaedia
Salire ad: navigationem, quaerere
Nulla Vicipaediae Latinae pagina huc annectitur.
Quaesumus in alias commentationes addas nexus ad hanc paginam relatos. Quo facto hanc formulam delere licet.
English language
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.

Theorema Löwenheim–Skolem est theorema theoriae exemplarum quod exemplarum theoriae congruentis omnium cardinalitatum infinitarum monstrat.

Expositio[recensere | fontem recensere]

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!