Category:數理邏輯

D

• [+] 代数逻辑‎ (2个分类， 20个页面)

J

• [+] 集合论‎ (9个分类， 21个页面)

公

• [+] 公理‎ (1个分类， 11个页面)

形

• [+] 形式语言‎ (3个分类， 56个页面)

形 续

• [+] 形式逻辑系统‎ (1个分类， 18个页面)

模

• [×] 模型论‎ (28个页面)
• [×] 模态逻辑‎ (17个页面)

计

• [+] 计算机逻辑‎ (4个分类， 30个页面)

证

• [+] 证明论‎ (1个分类， 13个页面)

递

• [+] 递归论‎ (3个分类， 20个页面)

逻

• [+] 逻辑演算‎ (2个分类， 11个页面)

*

• 数理逻辑

B

• 布尔值函数
• BHK释义

C

• 存在图
• 存在量化
• 层化

D

• 等于
• 递归论

F

• 泛函谓词
• 非直谓性

G

• 公式 (数理逻辑)
• 公理
• 公理化集合论
• 哥德尔不完备定理
• 哥德尔完备性定理
• 哥德尔数

H

• 合一
• 合式公式

J

• 句子 (数理逻辑)
• 決定性問題

K

• 可靠性定理
• 开放句子

L

• 类型论
• 论域
• 逻辑断言

L 续

• 逻辑等价
• 量化 (数理逻辑)
• 量詞消去

M

• 命题变量
• 命题逻辑
• 摹状词理论
• 模型论

N

• 逆数学

P

• 普遍化
• 皮尔士定律

Q

• 全称量化
• 前束范式

S

• 实体图
• 实质条件
• 数学归纳法的证明

T

• 停机问题

W

• 唯一量化
• 外延性
• 文字 (数理逻辑)
• 谓词变量

X

• 希尔伯特计划
• 形式系統
• 形式系统相容性
• 谢费尔竖线

Y

• 一阶逻辑

Y 续

• 元数学
• 原子公式
• 原子句子
• 演绎定理
• 演绎推理
• 蕴涵
• 预期释义

Z

• 子句 (逻辑)
• 直觉主义逻辑
• 直觉类型论
• 真值
• 真值函数
• 真值表
• 自然数的集合论定义
• 自然演绎
• 自由变量和约束变量
• 证明论
• 重言式

德

• 德罗斯特效应

数

• 数学基础

构

• 构造性证明

谓

• 谓词逻辑

递

• 递归

非

• 非构造性证明