Looking for the meaning or definition of the word Löwenheim-Skolem theorem? Here's what it means.
Proper noun
(mathematical logic) A theorem stating that, if a countablefirst-ordertheory has an infinitemodel, then for every infinite cardinal number κ it has a model of size κ. The result implies that first-order theories are unable to control the cardinality of their infinite models, and that no first-order theory with an infinite model can have a unique model up to isomorphism.