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 .

Theoremata mathematica