在数理逻辑中，经典 Löwenheim–Skolem 定理声称对于标识(signature)为 formula_1 的任何可数一阶逻辑语言 "L" 和 "L"-结构 M，存在一个可数无限基本子结构"N" formula_2 '这个定理的自然和有用的推论是所有一致的 "L"-理论都有可数的模型。这里的标识由常量集合 formula_3、函数集合 formula_4、关系符号集合 formula_5、和表示函数和关系符号的元数的函数 formula_6 组成。在这个上下文中 "L"-结构，由底层集合(经