首頁
隨機
附近
登入
設定
資助維基百科
關於維基百科
免責聲明
搜尋
模板
:
Metalogic
語言
監視
閱
論
編
Metalogic
(
英語
:
Metalogic
)
元數學
康托爾定理
可判定性
邱奇-圖靈論題
一致性
有效方法
(
英語
:
Effective method
)
數學基礎
幾何學基礎
(
英語
:
Foundations of geometry
)
哥德爾完備性定理
哥德爾不完備定理
可靠性定理
完備性 (邏輯)
(
英語
:
Completeness (logic)
)
可判定性 (邏輯)
(
英語
:
Decidability (logic)
)
解釋
勒文海姆–斯科倫定理
元理論
(
英語
:
Metatheorem
)
可滿足性
(
英語
:
Satisfiability
)
獨立性 (數理邏輯)
類型和個例的區別
使用-提及區別
模板文件
如何控制本模板的顯示狀態
使用
{{Metalogic|collapsed}}
使本模板顯示為摺疊(隱藏)狀態。
使用
{{Metalogic|expanded}}
使本模板顯示為展開(顯示)狀態。
使用
{{Metalogic|autocollapse}}
使本模板
僅在
頁面上有其他相同類型的模板時,顯示為摺疊(隱藏)狀態。
除非另有設定(請見模板代碼內的
|state=
參數),
autocollapse
為預設狀態。
編者可以在本模板的沙盒
(
建立
|
鏡像
)
和測試樣例
(
建立
)
頁面進行實驗。
本模板的子頁面
。