求闻百科
搜尋
切換搜尋
切換選單
切換個人選單
模板
:
數理邏輯
模板頁面
更多語言
閱讀
檢視原始碼
檢視歷史
模板
討論
更多操作
閱
論
編
數理邏輯
基本概念
公理
列表
勢
一階邏輯
形式證法
邏輯語義學
數學基礎
資訊理論
蘊涵
結構
集合
定理
形式理論
類型論
定理
(
列表
及
悖論
)
哥德爾完備性定理
及
哥德爾不完備定理
塔斯基不可定義定理
巴拿赫-塔斯基定理
康托爾
定理
、
悖論
和
對角論證法
緊緻性定理
停機問題
林德斯特倫定理
勒文海姆–斯科倫定理
羅素悖論
邏輯
傳統邏輯
經典邏輯
邏輯真理
恆真式
命題
推理
邏輯等價
一致性
相同一致性
邏輯論證
可靠性定理
有效性
直言三段論
對立四邊形
文氏圖
命題邏輯
邏輯代數
布爾函數
邏輯運算符
命題邏輯
命題公式
真值表
多值邏輯
三值
有限值
無限值
一階邏輯
一階邏輯
二階邏輯
一元
高階邏輯
自由邏輯
量化
謂詞
一元謂詞演算
集合論
集合
遺傳集
類
(
基本
)
元素
有序對
序數
子集
相等
外延性
力迫
關係
等價關係
集合劃分
集合運算
交集
併集
補集
笛卡兒積
冪集
同一性
集合
種類
可數集
不可數集
空集
居集
單元素集合
有限集合
無限集合
傳遞集合
超濾子
遞歸集合
模糊集
全集
可構造全集
格倫迪克全集
馮·諾伊曼全集
映射
與
勢
函數
、
映射
定義域
到達域
像
單射
、
滿射
、
雙射
康托爾-伯恩斯坦-施洛德定理
同構
哥德爾數
列舉法
大基數
不可達基數
阿列夫數
運算
二元運算
集合理論
策梅洛-弗蘭克爾 (ZFC)
選擇公理
連續統假設
廣義集合論 (GST)
克里普克-普拉克 (KP)
莫爾斯-凱利集合論 (MK)
樸素集合論
新基礎集合論
塔斯基-格羅滕迪克 (TG)
馮·諾伊曼-博內斯-哥德爾 (NBG)
建構式集合論
句法
及
語言
字母表
元數
自動機理論
公理模式
表達式
基礎表達式
擴展
關係
形式
文法
語言
證明
系統
理論
形成規則
合式公式
原子公式
封閉式
基本式
開放式
自由變量和約束變量
元語言
邏輯運算符
¬
∨
∧
→
↔
邏輯相等
謂詞
泛函謂詞
謂詞變量
命題變量
量化
∃
!
∀
級別
句子
原子句子
邏輯簽名
字符串
替換法
邏輯符號
函數符號
邏輯常量
非邏輯符號
變數
邏輯術語
公理系統
示例
(
列表
)
實算術
皮亞諾公理
二階
初等函數
原始遞歸
羅賓遜算術
斯科勒姆算術
實數的構造
塔爾斯基公理化
布爾代數
正則定義
最小公理
幾何
歐幾里得幾何
《原本》
希爾伯特公理
非歐幾里得幾何
塔爾斯基公理
《
數學原理
》
證明論
形式證明
自然演繹
蘊涵
推理規則
相繼式演算
定理
系統
形式
公理
演繹
希爾伯特演繹系統
列表
完備理論
ZFC
系統的
獨立性
列表
不可能證明
序數分析
逆數學
自恰理論
模型論
解釋
結構
初等等價
有限模型
飽和模型
子結構
非標準模型
算術
結構圖
基本圖
分類理論
完備模型論
可滿足性
邏輯語義學
強度
真理
語義理論
塔爾斯基
克里普克
T-模式
轉移原則
真理謂詞
真值
型
超積
有效性
可計算性理論
邱奇數
邱奇-圖靈論題
遞歸可枚舉集合
可計算函數
遞歸集合
決定性問題
可決定性
不可決定性
P
NP
P/NP問題
柯氏複雜性
Λ演算
原始遞歸函數
遞歸
遞歸集合
圖靈機
類型論
其他相關
抽象邏輯
範疇論
具象範疇
、
抽象範疇
集合範疇
邏輯史
數理邏輯
歷史年表
邏輯主義
數學對象
數學哲學
超任務
模板文件
[
清除快取
]
如何控制本模板的顯示狀態
無論您使用什麼參數,模板都是展開的,所以請直接移除
state
參數。
參見
模板連結:
{{
集合論
}}
Template:邏輯模板
上述文檔內容由模板本身直接提供,請查看頁面原始碼。
編者可以在本模板的沙盒
(
創建
|
鏡像
)
和測試樣例
(
創建
)
頁面進行實驗。
請將模板自身所屬的分類添加在文檔中。
本模板的子頁面
。