Theorema Löwenheim–Skolem

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

 Expositio 

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

Categoria:Theoremata mathematica