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.

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!