术语 · Terminology

术语翻译表

每条记录都是一个具体数学义项。共识译名记录现实中的稳定译法；待定译名的投票长期持续，不会自动产生共识。

术语表目前仍在施工中，共识译名正在逐步确立，请谨慎参考。

集合论
下载稳定术语表 下载完整术语表 提交新术语

集合论

分类对象是义项而非英文词形，查看分类说明

共 88 个义项

01 Adjunctive set theory（集合论） 内附集合论
02 aleph number（集合论） ℵ 数
03 antichain（集合论） 反链
04 axiom of choice（集合论） 选择公理
05 axiom of constructibility（集合论） 可构造公理
06 axiom of foundation（集合论） 良基公理
07 axiom of regularity（集合论） 正则公理
08 bijection（集合论） 双射
09 bijective（集合论） 双
10 binary relation（集合论） 二元关系
11 Boolean-valued model（集合论） Boole 值模型
12 Cantor–Schröder–Bernstein theorem（集合论） Cantor–Schröder–Bernstein 定理
13 Cantor’s theorem（集合论） Cantor 定理
14 cardinal number（集合论） 基数
15 cardinality（集合论） 基数
16 Cartesian product（集合论） Descartes 积
17 chain（集合论） 链
18 cofinal class（集合论） 共尾类
19 complement（集合论） 补集
20 continuum hypothesis（集合论） 连续统假设
21 countable set（集合论） 可数集
22 domain（集合论） 定义域
23 empty set（集合论） 空集
24 equivalence class（集合论） 等价类
25 equivalence relation（集合论） 等价关系
26 filter（集合论） 滤子
27 forcing（集合论） 力迫法
28 Grothendieck universe（集合论） Grothendieck 宇宙
29 Gödel’s constructible hierarchy（集合论） Gödel 可构造层级
30 Gödel’s constructible universe（集合论） Gödel 可构造宇宙