术语 · Terminology

术语翻译表

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

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

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

全部术语

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

共 1727 个义项

1531 upper bound（集合论）上界

1532 von Neumann hierarchy（集合论） von Neumann 层级

1533 von Neumann universe（集合论） von Neumann 宇宙

1534 well-founded（集合论）良基

1535 well-founded relation（集合论）良基关系

1536 Zermelo–Fraenkel set theory（集合论） Zermelo–Fraenkel 集合论

1537 Zorn’s lemma（集合论） Zorn 引理

1538 Boolean-valued von Neumann universe（模型论） Boole 值 von Neumann 宇宙

1539 first-order language（模型论）一阶语言

1540 quantifier elimination（模型论）量词消去

1541 real closed field（模型论）实闭域

1542 sentence（模型论）语句

1543 Tarski–Vaught test, criterion（模型论） Tarski–Vaught 判别法

1544 Tarski’s undefinability theorem（模型论） Tarski 不可定义定理

1545 Łoś–Vaught test（模型论） Łoś–Vaught 判别法

1546 κ-categorical（模型论） κ-定言

1547 !-able（解析叠） !-容许

1548 admissible rule（证明论与形式系统）可容许规则

1549 affine logic（证明论与形式系统）仿射逻辑

1550 antecedent（证明论与形式系统）前因

1551 associativity rule（证明论与形式系统）结合规则

1552 canonicity（证明论与形式系统）典范性

1553 coercion rules（证明论与形式系统）转换规则

1554 confluence（证明论与形式系统）合流性

1555 conjunction（证明论与形式系统）与

1556 consistency（证明论与形式系统）一致性

1557 contraction rule（证明论与形式系统）收缩规则

1558 cut elimination（证明论与形式系统）切消除

1559 cut rule（证明论与形式系统）切规则

1560 derivable rule（证明论与形式系统）可导出规则