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.
Interpretationes vernaculae

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

Expositio[recensere | fontem recensere]

Theorema. Sit theoria countabilis quae exemplarem infinitam habeat. Sit cardinalitas infinita. Tum est exemplar ut .


mathematica Haec stipula ad mathematicam spectat. Amplifica, si potes!