勒文海姆–斯科伦定理：修订间差异
删除的内容 添加的内容
无编辑摘要 |
小 cewbot: 修正維基語法 10: 連結方括號未對應 |
||
第1行：
在[[数理逻辑]]中，经典 '''Löwenheim–Skolem 定理'''声称对于标识(signature)为 <math><\mathbf{C}, \mathbf{F}, \mathbf{R}, \sigma></math> 的任何可数[[一阶逻辑|一阶oo]]语言 ''L'' 和 ''L''-结构 M，存在一个可数无限[[基本子结构]] ''N'' <math>\subseteq</math> '
这个定理的自然和有用的推论是所有一致的 ''L''-理论都有可数的模型。
| |||