maths2u
PhysicsMathsChemistryBiology
Tier
⌕ Search ⌘K
maths2u.com/vault/lowenheim-skolem.html
Theorem

The Löwenheim–Skolem theorem

T-128Home MU-403Threads logic
Statement

First-order theories with infinite models have models of every infinite size.