数理逻辑

分类包含 40 篇文章

子分类：数理逻辑学家 | 模态逻辑 | 计算机逻辑 | 模型论

存在量化

哥德尔数

泛函谓词

自由变量和约束变量

前束范式

模型论

量词消去

完备性

独立性 (数理逻辑)

证明论