分類:模型論

• 模型论

B

• 布尔值模型

G

• 哥德尔不完备定理
• 哥德尔完备性定理

K

• 可靠性定理

L

• 勒文海姆–斯科伦定理

N

• 內模型

保

• 保守扩展

初

• 初等等价

前

• 前束范式

型

• 型 (模型论)

基

• 基本子结构

塔

• 塔斯基-沃特测试

子

• 子结构

字

• 字元集 (數理邏輯)

斯

• 斯科伦悖论
• 斯科伦范式

泛

• 泛函谓词

緊

• 紧致性定理

結

• 结构 (数理逻辑)

解

• 解釋 (邏輯)

賦

• 賦值 (邏輯)

超

• 超積

選

• 选择公理
• 选择函数

量

• 量詞消去

非

• 非标准分析
• 非标准模型

飽

• 飽和模型