跳至內容
主選單
主選單
移至側邊欄
隱藏
導覽
首頁
分類索引
特色內容
新聞動態
最近修改
隨機條目
說明
說明
維基社群
方針與指引
互助客棧
知識問答
字詞轉換
IRC即時聊天
聯絡我們
關於維基百科
搜尋
搜尋
外觀
資助維基百科
建立帳號
登入
個人工具
資助維基百科
建立帳號
登入
用於已登出編輯者的頁面
了解更多
貢獻
討論
模板
:
Metalogic
5 種語言
English
فارسی
Bahasa Indonesia
日本語
Українська
編輯連結
模板
討論
澳門繁體
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
閱讀
編輯
檢視歷史
工具
工具
移至側邊欄
隱藏
操作
閱讀
編輯
檢視歷史
一般
連結至此的頁面
相關變更
上載檔案
特殊頁面
靜態連結
頁面資訊
取得短網址
下載QR碼
列印/匯出
下載為PDF
可列印版
其他專案
維基數據項目
外觀
移至側邊欄
隱藏
維基百科,自由的百科全書
閱
論
編
Metalogic
(
英語
:
Metalogic
)
元數學
康托爾定理
可判定性
邱奇-圖靈論題
一致性
有效方法
(
英語
:
Effective method
)
數學基礎
幾何學基礎
(
英語
:
Foundations of geometry
)
哥德爾完備性定理
哥德爾不完備定理
可靠性定理
完備性 (邏輯)
(
英語
:
Completeness (logic)
)
可判定性 (邏輯)
(
英語
:
Decidability (logic)
)
解釋
勒文海姆–斯科倫定理
元理論
(
英語
:
Metatheorem
)
可滿足性
(
英語
:
Satisfiability
)
獨立性 (數理邏輯)
類型和個例的區別
使用-提及區別
模板文件
如何控制本模板的顯示狀態
使用
{{Metalogic|collapsed}}
使本模板顯示為摺疊(隱藏)狀態。
使用
{{Metalogic|expanded}}
使本模板顯示為展開(顯示)狀態。
使用
{{Metalogic|autocollapse}}
使本模板
僅在
頁面上有其他相同類型的模板時,顯示為摺疊(隱藏)狀態。
除非另有設定(請見模板代碼內的
|state=
參數),
autocollapse
為預設狀態。
編者可以在本模板的沙盒
(
建立
|
鏡像
)
和測試樣例
(
建立
)
頁面進行實驗。
本模板的子頁面
。
分類
:
哲學與思想模板