术语 · Terminology

术语翻译表

每个英文术语下可以有几个数学义项。本站译名都有外文出处或参考链接，采用中文教材的通行写法；觉得译名不妥可以在义项页建议改译，缺少的出处可以在左侧「资料补充」里筛出来补充。

模型论

分类按义项归入，词形出现在它各义项所属的分类下，查看分类说明

共 9 个术语

术语

中文译名

01 Boolean-valued von Neumann universe Boole 值 von Neumann 宇宙 1

02 first-order language 一阶语言 1

03 quantifier elimination 量词消去 1

04 real closed field 实闭域 1

05 sentence 语句 1

06 Tarski–Vaught test Tarski–Vaught 判别法 1

07 Tarski’s undefinability theorem Tarski 不可定义定理 1

08 Łoś–Vaught test Łoś–Vaught 判别法 1

09 κ-categorical $\kappa$-定言 1