删除130字节、
2014年11月10日 (一) 13:39 以下行是添加（+）和删除（-）的内容：
***[[命题逻辑]] [[命题演算]] [[一阶逻辑***[[命题逻辑]] [[命题演算]] [[一阶逻辑]] [[谓词演算]] [[高阶逻辑]] [[无穷逻辑]] [[多值逻辑]] [[模态逻辑]] [[构造逻辑]] [[模糊逻辑]] **[[模型论]] ***[[模态模型论]] [[非标准模型]] 谓词演算**[[公理集合论]] ***[[集合论公理系统]] [[力迫方法]] [[选择公理]] [[连续统假设]] **[[递归论]] 高阶逻辑***[[算法]] [[递归函数]] [[递归可枚举集]] [[不可解度]] [[广义递归论]] [[判定问题]] [[分层理论]] **[[证明论]] ***[[数学无矛盾性]] [[哥德尔不完备性定理]] [[构造性数学]] [[希尔伯特计划]] 无穷逻辑 多值逻辑 模态逻辑 构造逻辑 模糊逻辑 折叠 模型论 模态模型论 非标准模型 折叠 公理集合论 集合论公理系统 力迫方法 选择公理 连续统假设 折叠 递归论 算法 递归函数 递归可枚举集 不可解度 广义递归论 判定问题 分层理论 折叠 证明论 数学无矛盾性 哥德尔不完备性定理 构造性数学 希尔伯特计划 折叠 集合论 集合 映射 序数 基数 超限归纳法 折叠 悖论 罗素悖论