术语 · Terminology

术语翻译表

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

全部术语

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

共 2607 个术语

术语

中文译名

2401 transfinite induction 超限归纳法 1

2402 transitive closure 传递闭包 1

2403 transitive set 传递集合 1

2404 uncountable set 不可数集 1

2405 union 并 1

2406 upper bound 上界 1

2407 von Neumann hierarchy von Neumann 层级 1

2408 von Neumann universe von Neumann 宇宙 1

2409 well-founded 良基 1

2410 well-founded relation 良基关系 1

2411 Zermelo–Fraenkel set theory Zermelo–Fraenkel 集合论 1

2412 Zorn’s lemma Zorn 引理 1

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

2414 first-order language 一阶语言 1

2415 quantifier elimination 量词消去 1

2416 real closed field 实闭域 1

2417 sentence 语句 1

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

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

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

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

2422 !-able !-容许 1

2423 admissible rule 可容许规则 1

2424 affine logic 仿射逻辑 1

2425 antecedent 前件 1

2426 associativity rule 结合规则 1

2427 canonicity 典范性 1

2428 coercion rules 转换规则 1

2429 confluence 合流性 1

2430 conjunction 与 1