术语 · Terminology

术语翻译表

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

全部术语

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

共 1359 个术语

术语

中文译名

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

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

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

1174 !-able !-容许 1

1175 admissible rule 可容许规则 1

1176 affine logic 仿射逻辑 1

1177 antecedent 前件 1

1178 associativity rule 结合规则 1

1179 canonicity 典范性 1

1180 coercion rules 转换规则 1

1181 confluence 合流性 1

1182 conjunction 与 1

1183 consistency 一致性 1

1184 contraction rule 收缩规则 1

1185 cut elimination 切消除 1

1186 cut rule 切规则 1

1187 derivable rule 可导出规则 1

1188 disjunction 或 1

1189 elimination rule 消去规则 1

1190 exchange rule 交换规则 1

1191 external choice 外选择 1

1192 false 假 1

1193 formation rule 形成规则 1

1194 formula 公式 1

1195 Gentzen’s Hauptsatz Gentzen 主要定理 1

1196 Gödel’s incompleteness theorems Gödel 不完备性定理 1

1197 identity rule 恒同规则 1

1198 implication 蕴涵 1

1199 induction 归纳法 2

1200 inference rule 推导规则 1