添加的内容 删除的内容
小 (撤销繁简转换) 标签:回退 |
小 (20, replaced: 證 → 证, 題 → 题, 問 → 问, 條 → 条, 歸 → 归, 備 → 备, 遞 → 递, 輯 → 辑 (4), 滿 → 满) 标签:手工回退 |
||
第30行:
* [[一阶逻辑|一阶]]公式的普遍有效性的推定证明可用算法来检查有效性。用技术语言来说,证明集合是原始递归的。实质上,这就是[[哥德尔完全性定理]],虽然那个定理的通常陈述使它与[[算法]]之间的关系不明显。
* 有效的[[一阶逻辑|一阶]]公式的集合是[[不可判定
* 普遍有效的[[二阶逻辑|二阶]]公式的集合甚至不是递归可枚举的。这是[[哥德尔不完全性定理]]的一个结果。
* [[勒文海姆-斯科伦定理]]。
第54行:
{{mathportal}}
* [[逻辑]]
* [[邏
* [[模型论]]
* [[
* [[
* [[一阶逻辑]]
* [[相继式演算]]
* [[直觉主义逻辑]]
* [[完
{{-}}
第68行:
{{Computer Science}}
[[Category:邏
[[Category:数理邏
[[Category:规则|科学]]
|