术语 · Terminology

术语翻译表

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

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

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

集合论与数理逻辑

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

共 229 个义项

181 homogeneous composition（类型论与数学基础） 复合
182 homotopy level（类型论与数学基础） 同伦层级
183 hypothetical judgment（类型论与数学基础） 假言判断
184 identity type（类型论与数学基础） 相等类型
185 impredicativity（类型论与数学基础） 非直谓性
186 indexed type（类型论与数学基础） 指标类型
187 induction-recursion（类型论与数学基础） 归纳递归
188 inductive family（类型论与数学基础） 归纳族
189 inductive type（类型论与数学基础） 归纳类型
190 internal choice（类型论与数学基础） 内选择
191 interval type（类型论与数学基础） 区间类型
192 intrinsic（类型论与数学基础） 内蕴
193 judgment（类型论与数学基础） 判断
194 Liskov substitution principle (LSP)（类型论与数学基础） Liskov 替换原则
195 Martin-Löf type theory (MLTT)（类型论与数学基础） Martin-Löf 类型论
196 nominal type theory（类型论与数学基础） 记名类型论
197 normalization（类型论与数学基础） 正规性
198 normalization by evaluation（类型论与数学基础） 语义正规性
199 object of truth values（类型论与数学基础） 真值对象
200 parametric polymorphism（类型论与数学基础） 参数多态
201 pattern matching（类型论与数学基础） 模式匹配
202 philosophy of mathematics（类型论与数学基础） 数学哲学
203 polymorphic type theory（类型论与数学基础） 多态类型论
204 predicativity（类型论与数学基础） 直谓性
205 product type（类型论与数学基础） 积类型
206 progress and preservation（类型论与数学基础） 可进性与保型性
207 propositional equality（类型论与数学基础） 命题相等
208 propositional extensionality（类型论与数学基础） 命题外延性
209 ramified type theory（类型论与数学基础） 分歧类型论
210 regularity（类型论与数学基础） 正则性