数理逻辑

分类包含 40 篇文章

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

递归定义

演绎定理

递归论

希尔伯特计划

量化 (数理逻辑)

真值函数

塔斯基不可定义定理

公式 (数理逻辑)

对角线引理

文字 (数理逻辑)