跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
资助维基百科
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
搜索
搜索
Template
:
Metalogic
5种语言
English
فارسی
Bahasa Indonesia
日本語
Українська
编辑链接
模板
讨论
不转换
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
获取短链接
下载二维码
维基数据项目
打印/导出
下载为PDF
打印页面
外观
移至侧栏
隐藏
维基百科,自由的百科全书
查
论
编
Metalogic
(
英语
:
Metalogic
)
元数学
康托尔定理
可判定性
邱奇-图灵论题
一致性
有效方法
(
英语
:
Effective method
)
数学基础
几何学基础
(
英语
:
Foundations of geometry
)
哥德尔完备性定理
哥德尔不完备定理
可靠性定理
完备性 (逻辑)
(
英语
:
Completeness (logic)
)
可判定性 (逻辑)
(
英语
:
Decidability (logic)
)
解释
勒文海姆–斯科伦定理
元理论
(
英语
:
Metatheorem
)
可满足性
(
英语
:
Satisfiability
)
獨立性 (數理邏輯)
类型和个例的区别
使用-提及區別
模板文档
如何控制本模板的显示状态
使用
{{Metalogic|collapsed}}
使本模板显示为折叠(隐藏)状态。
使用
{{Metalogic|expanded}}
使本模板显示为展开(显示)状态。
使用
{{Metalogic|autocollapse}}
使本模板
仅在
页面上有其他相同类型的模板时,显示为折叠(隐藏)状态。
除非另有设定(请见模板代码内的
|state=
参数),
autocollapse
为默认状态。
编者可以在本模板的沙盒
(
创建
|
镜像
)
和测试样例
(
创建
)
页面进行实验。
本模板的子页面
。
分类
:
哲學與思想模板