Theorema Löwenheim–Skolem

E testwiki
Redactio 12:10, 2 Iulii 2014 a conlatore imported>EmausBot facta (Bot 1 nexus intervici removet, quod nunc apud Vicidata cum tessera d:Q1068283 sunt)
(diff) ← Redactio superior | Redactio novissima (diff) | Redactio recentior → (diff)
Jump to navigation Jump to search

Formula:Pagina non annexa 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 α cardinalitas infinita. Tum est exemplar 𝔐⊨T ut |𝔐|=α.

Formula:Math-stipula

Receptum de "https://la.wiki.beta.math.wmflabs.org/w/index.php?title=Theorema_Löwenheim–Skolem&oldid=273"