跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
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
Українська
اردو
编辑链接
分类
讨论
简体
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
编辑
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
获取短链接
下载二维码
打印/导出
下载为PDF
打印版本
在其他项目中
维基共享资源
维基数据项目
外观
移至侧栏
隐藏
帮助
维基百科,自由的百科全书
页面分类
>
人文学科
>
哲学
>
逻辑
>
数理逻辑
> 模型论
本
分类页面
的主条目是“
模型论
”。
维基共享资源
上的相关多媒体资源:
模型论
模型论经常与
证明论
相对比。
子分类
本分类有以下3个子分类,共有3个子分类。
有
有限模型理論
(1个分类)
模
模型论学家
(5个页面)
解
解释
(2个分类, 2个页面)
分类“模型论”中的页面
以下29个页面属于本分类,共29个页面。
模型论
B
布尔值模型
G
哥德尔不完备定理
哥德尔完备性定理
K
可靠性定理
L
勒文海姆–斯科伦定理
N
內模型
保
保守扩展
初
初等等价
前
前束范式
型
型 (模型论)
基
基本子结构
塔
塔斯基-沃特测试
子
子结构
字
字元集 (數理邏輯)
斯
斯科伦悖论
斯科伦范式
泛
泛函谓词
紧
紧致性定理
结
结构 (数理逻辑)
解
解釋 (邏輯)
赋
賦值 (邏輯)
超
超積
选
选择公理
选择函数
量
量詞消去
非
非标准分析
非标准模型
饱
飽和模型
分类
:
数理逻辑
数学模型
隐藏分类:
使用Catnav的页面
维基共享资源分类链接由维基数据提供