求闻百科
搜索
切换搜索
切换菜单
切换个人菜单
Template
:
数理逻辑
模板页面
更多语言
阅读
查看源代码
查看历史
模板
讨论
更多操作
查
论
编
数理逻辑
基本概念
公理
列表
势
一阶逻辑
形式证法
邏輯語義學
数学基础
信息论
蕴涵
结构
集合
定理
形式理论
类型论
定理
(
列表
及
悖论
)
哥德尔完备性定理
及
哥德尔不完备定理
塔斯基不可定義定理
巴拿赫-塔斯基定理
康托尔
定理
、
悖论
和
對角論證法
紧致性定理
停机问题
林德斯特伦定理
勒文海姆–斯科伦定理
罗素悖论
逻辑
传统逻辑
经典逻辑
邏輯真理
恆真式
命题
推理
逻辑等价
一致性
相同一致性
逻辑论证
可靠性定理
有效性
直言三段论
对立四边形
文氏图
命题逻辑
逻辑代数
布尔函数
逻辑运算符
命题逻辑
命题公式
真值表
多值逻辑
三值
有限值
无限值
一阶逻辑
一阶逻辑
二階邏輯
一元
高阶逻辑
自由逻辑
量化
谓词
一元谓词演算
集合论
集合
遗传集
类
(
基本
)
元素
有序对
序数
子集
相等
外延性
力迫
关系
等价关系
集合划分
集合运算
交集
并集
补集
笛卡儿积
冪集
同一性
集合
种类
可數集
不可數集
空集
居集
单元素集合
有限集合
无限集合
传递集合
超滤子
递归集合
模糊集
全集
可构造全集
格伦迪克全集
冯·诺伊曼全集
映射
与
势
函数
、
映射
定义域
到达域
像
单射
、
满射
、
双射
康托尔-伯恩斯坦-施罗德定理
同构
哥德尔数
列举法
大基数
不可達基數
阿列夫數
运算
二元运算
集合理论
策梅洛-弗兰克尔 (ZFC)
选择公理
连续统假设
广义集合论 (GST)
克里普克-普拉克 (KP)
莫尔斯-凯利集合论 (MK)
朴素集合论
新基础集合论
塔斯基-格罗滕迪克 (TG)
冯·诺伊曼-博内斯-哥德尔 (NBG)
建构式集合论
句法
及
语言
字母表
元数
自動機理論
公理模式
表達式
基础表达式
扩展
关系
形式
文法
语言
证明
系统
理论
形成规则
合式公式
原子公式
封闭式
基本式
开放式
自由变量和约束变量
元語言
逻辑运算符
¬
∨
∧
→
↔
逻辑相等
谓词
泛函谓词
谓词变量
命题变量
量化
∃
!
∀
级别
句子
原子句子
逻辑签名
字符串
替换法
逻辑符号
函数符号
逻辑常量
非逻辑符号
變數
逻辑术语
公理系统
示例
(
列表
)
实算术
皮亚诺公理
二阶
初等函数
原始递归
罗宾逊算术
斯科勒姆算术
實數的構造
塔尔斯基公理化
布尔代数
正则定义
最小公理
几何
欧几里得几何
《原本》
希尔伯特公理
非欧几里得几何
塔尔斯基公理
《
数学原理
》
证明论
形式证明
自然演绎
蕴涵
推理规则
相继式演算
定理
系统
形式
公理
演绎
希尔伯特演绎系统
列表
完备理论
ZFC
系统的
独立性
列表
不可能证明
序数分析
逆数学
自恰理论
模型论
解释
结构
初等等价
有限模型
飽和模型
子结构
非标准模型
算术
结构图
基本图
分类理论
完备模型论
可满足性
邏輯語義學
强度
真理
语义理论
塔尔斯基
克里普克
T-模式
转移原则
真理谓词
真值
型
超積
有效性
可计算性理论
邱奇数
邱奇-图灵论题
递归可枚举集合
可计算函数
递归集合
決定性問題
可决定性
不可决定性
P
NP
P/NP问题
柯氏复杂性
Λ演算
原始递归函数
递归
递归集合
图灵机
类型论
其他相关
抽象逻辑
范畴论
具象范畴
、
抽象范畴
集合范畴
逻辑史
数理逻辑
历史年表
邏輯主義
数学对象
数学哲学
超任务
模板文档
[
清除缓存
]
如何控制本模板的显示状态
无论您使用什么参数,模板都是展开的,所以请直接移除
state
参数。
参见
模板链接:
{{
集合论
}}
Template:逻辑模板
上述文档内容由模板本身直接提供,请查看页面源代码。
编者可以在本模板的沙盒
(
创建
|
镜像
)
和测试样例
(
创建
)
页面进行实验。
请将模板自身所属的分类添加在文档中。
本模板的子页面
。