跳至內容
主選單
主選單
移至側邊欄
隱藏
導覽
首頁
分類索引
特色內容
新聞動態
近期變更
隨機條目
說明
說明
維基社群
方針與指引
互助客棧
知識問答
字詞轉換
IRC即時聊天
聯絡我們
關於維基百科
搜尋
搜尋
外觀
資助維基百科
建立帳號
登入
個人工具
資助維基百科
建立帳號
登入
用於已登出編輯者的頁面
了解更多
貢獻
討論
分類
:
模型論
29 種語言
العربية
Български
Bosanski
Čeština
Deutsch
Ελληνικά
English
Esperanto
Español
Euskara
فارسی
Suomi
Français
Magyar
日本語
ქართული
한국어
Македонски
Norsk nynorsk
Polski
Piemontèis
Português
Русский
Slovenčina
Slovenščina
Svenska
Türkçe
Українська
اردو
編輯連結
分類
討論
繁體
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
閱讀
編輯
檢視歷史
工具
工具
移至側邊欄
隱藏
操作
閱讀
編輯
檢視歷史
一般
連結至此的頁面
相關變更
上傳檔案
特殊頁面
固定連結
頁面資訊
取得短網址
下載QR碼
列印/匯出
下載為PDF
可列印版
其他專案
維基共享資源
維基數據項目
外觀
移至側邊欄
隱藏
說明
維基百科,自由的百科全書
頁面分類
>
人文學科
>
哲學
>
邏輯
>
數理邏輯
> 模型論
本
分類頁面
的主條目是「
模型論
」。
維基共享資源
上的相關多媒體資源:
模型論
模型論經常與
證明論
相對比。
子分類
此分類包含以下 3 個子分類,共 3 個。
有
有限模型理論
(1個分類)
模
模型论学家
(5個頁面)
解
解释
(2個分類, 2個頁面)
「模型論」分類中的頁面
此分類共有 29 個頁面,以下顯示其中 29 個。
模型论
B
布尔值模型
G
哥德尔不完备定理
哥德尔完备性定理
K
可靠性定理
L
勒文海姆–斯科伦定理
N
內模型
保
保守扩展
初
初等等价
前
前束范式
型
型 (模型论)
基
基本子结构
塔
塔斯基-沃特测试
子
子结构
字
字元集 (數理邏輯)
斯
斯科伦悖论
斯科伦范式
泛
泛函谓词
緊
紧致性定理
結
结构 (数理逻辑)
解
解釋 (邏輯)
賦
賦值 (邏輯)
超
超積
選
选择公理
选择函数
量
量詞消去
非
非标准分析
非标准模型
飽
飽和模型
分類
:
數理邏輯
數學模型
隱藏分類:
使用Catnav的頁面
維基共享資源分類鏈接由維基數據提供