术语 · Terminology

术语翻译表

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

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

集合论与数理逻辑
下载稳定术语表 下载完整术语表 提交新术语

集合论与数理逻辑

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

共 229 个义项

91 quantifier elimination（模型论） 量词消去
92 real closed field（模型论） 实闭域
93 sentence（模型论） 语句
94 Tarski–Vaught test, criterion（模型论） Tarski–Vaught 判别法
95 Tarski’s undefinability theorem（模型论） Tarski 不可定义定理
96 Łoś–Vaught test（模型论） Łoś–Vaught 判别法
97 κ-categorical（模型论） κ-定言
98 !-able（解析叠） !-容许
99 admissible rule（证明论与形式系统） 可容许规则
100 affine logic（证明论与形式系统） 仿射逻辑
101 antecedent（证明论与形式系统） 前因
102 associativity rule（证明论与形式系统） 结合规则
103 canonicity（证明论与形式系统） 典范性
104 coercion rules（证明论与形式系统） 转换规则
105 confluence（证明论与形式系统） 合流性
106 conjunction（证明论与形式系统） 与
107 consistency（证明论与形式系统） 一致性
108 contraction rule（证明论与形式系统） 收缩规则
109 cut elimination（证明论与形式系统） 切消除
110 cut rule（证明论与形式系统） 切规则
111 derivable rule（证明论与形式系统） 可导出规则
112 disjunction（证明论与形式系统） 或
113 elimination rule（证明论与形式系统） 消去规则
114 exchange rule（证明论与形式系统） 交换规则
115 external choice（证明论与形式系统） 外选择
116 false（证明论与形式系统） 假
117 formation rule（证明论与形式系统） 形成规则
118 formula（证明论与形式系统） 公式
119 Gentzen’s Hauptsatz（证明论与形式系统） Gentzen 主要定理
120 Gödel’s incompleteness theorems（证明论与形式系统） Gödel 不完备性定理