首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
模板
:
Metalogic
语言
监视
编辑
查
论
编
Metalogic
(
英语
:
Metalogic
)
元数学
康托尔定理
可判定性
邱奇-图灵论题
一致性
有效方法
(
英语
:
Effective method
)
数学基础
几何学基础
(
英语
:
Foundations of geometry
)
哥德尔完备性定理
哥德尔不完备定理
可靠性定理
完备性 (逻辑)
(
英语
:
Completeness (logic)
)
可判定性 (逻辑)
(
英语
:
Decidability (logic)
)
解释
勒文海姆–斯科伦定理
元理论
(
英语
:
Metatheorem
)
可满足性
(
英语
:
Satisfiability
)
独立性 (数理逻辑)
类型和个例的区别
使用-提及区别
模板文档
如何控制本模板的显示状态
使用
{{Metalogic|collapsed}}
使本模板显示为折叠(隐藏)状态。
使用
{{Metalogic|expanded}}
使本模板显示为展开(显示)状态。
使用
{{Metalogic|autocollapse}}
使本模板
仅在
页面上有其他相同类型的模板时,显示为折叠(隐藏)状态。
除非另有设定(请见模板代码内的
|state=
参数),
autocollapse
为默认状态。
编者可以在本模板的沙盒
(
创建
|
镜像
)
和测试样例
(
创建
)
页面进行实验。
本模板的子页面
。