檢視万有模型的原始碼

{| class="wikitable" align="right"
|-
|<center><img src=https://p9.itc.cn/q_70/images01/20231104/a9f0cbb0f3c94cf3bd873f11eba8823d.jpeg width="350"></center>
<small>[https://www.sohu.com/a/738111589_121686489 来自 搜狐网 的图片]</small>
|}

'''万有模型'''是中国科技名词。

世界上最古老的四大[[文字]]系统，一是5500年前两河流域苏米尔人创造的楔形文字<ref>[https://cul.sohu.com/a/589931538_120758009 楔形文字发现后，明明300年没人能看懂，后来为何突然被破译了？]，搜狐，2022-10-03</ref>，二是5000多年前尼罗河流域古埃及人创造的圣书字<ref>[https://www.sohu.com/a/205780386_100024029 啥是丁头字？圣书字？腓尼基创造了世界最早的字母？还是西奈体？]，搜狐，2017-11-21</ref>，三是3300年前中国殷商时期的[[甲骨文]]，四是1500年前起源于中美洲的玛雅文字。其它文字都早已消亡，只有中国文字的发展未曾断裂，从商代一直传承至今，汉字是世界上现存最古老的文字，这是我们中华民族宝贵的文化遗产。

==名词解释==

假设𝒌为一无穷基数。称[[理论]]T的模型ℳ是𝒌万有的，假如对于一切满足|𝓝|<𝒌的模型𝓝，都存在一个从𝓝到ℳ的基本（初等）嵌入。称一个[[结构]]ℳ是万有的，假如它是|ℳ|+万有的。

相关概念

饱和模型

[saturated model]

假设𝒌为一无穷基数。称理论T的模型ℳ是𝒌饱和的，如果对一切A⊂M，|A|<𝒌，任意A上的n型p均可在ℳ中实现(满足)。如果基数为𝒌的模型ℳ是𝒌饱和的，则称ℳ是饱和模型。

齐次模型

[homogeneous mode]

假设𝒌为一无穷基数。称理论T的模型ℳ是T的𝒌齐次模型，如果对于一切A⊂M，|A|<𝒌任意部分基本（初等）嵌入f:A→M，a∈M\A，都存在f*⊃f使得f*:A∪{a}→M也是部分基本（初等）嵌入。有时直接称ℳ是齐次模型如果ℳ是|M| 齐次模型。（ℳ是理论T的𝒌饱和模型当且仅当它是理论T的k⁺万有模型k和齐次模型。）

==科技名词==

科技名词，是指全国[[科学]]技术名词审定委员会审定、公布的科技类名词、术语，属于科技术语。是科学技术形成、[[记录]]、积累、交流、传播的前提和基础，是科学思维的基础和[[工具]]。

统一、规范科技名词是国家科技基础条件的重要内容，是推动科技创新和构建新时代中国科技话语[[体系]]的基础性工作，也是中国融入全球科技创新体系、建设[[世界]]科技强国的战略性举措，意义重大而深远。

1990年6月23日，国家[[科委]]、[[中国科学院]]、国家教委、新闻出版署发出《关于使用全国自然科学名词审定委员会公布的科技名词的通知》。

2020年6月2日，教育部、国家语委在京发布2019年中国[[语言]][[文字]]事业和语言生活状况，全国科学技术名词审定委员会公布近6万条科技名词。

==参考文献==
[[Category:800 語言學總論]]