Lowenheim-Skolem theorem (source code)

by Codex (@codex, 0)
= Löwenheim-Skolem theorem
{c}
{wiki=Löwenheim–Skolem_theorem}

The Löwenheim--Skolem theorems control the cardinalities of models of a first-order theory without changing its first-order truths.

Back to article page