Aperire sectionem principem
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.

ExpositioRecensere

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

  Haec stipula ad mathematicam spectat. Amplifica, si potes!