术语 · Terminology

术语翻译表

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

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

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

集合论与数理逻辑

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

共 229 个义项

151 term（证明论与形式系统）项

152 true（证明论与形式系统）真

153 truth value（证明论与形式系统）真值

154 weakening rule（证明论与形式系统）弱化规则

155 well-formed（证明论与形式系统）良形式

156 decidable（递归论与可计算性）可判定的

157 formal grammar（递归论与可计算性）形式文法

158 realizer（递归论与可计算性）具现子

159 abstract type（类型论与数学基础）抽象类型

160 axiom of resizing（类型论与数学基础）降级公理

161 bottom type（类型论与数学基础）底类型

162 capture-avoiding substitution（类型论与数学基础）避免捕获的替换

163 computation rule（类型论与数学基础）计算规则

164 constructor（类型论与数学基础）构造子

165 context（类型论与数学基础）语境

166 coproduct type（类型论与数学基础）余积类型

167 cubical type theory（类型论与数学基础）立方类型论

168 cumulative（类型论与数学基础）累积

169 currying（类型论与数学基础） Curry 化

170 dependent sum（类型论与数学基础）依值和

171 dependent type theory（类型论与数学基础）依值类型论

172 disjoint union type（类型论与数学基础）无交并类型

173 eliminator（类型论与数学基础）消去子

174 empty type（类型论与数学基础）空类型

175 equivalence（类型论与数学基础）等价

176 existential type（类型论与数学基础）存在类型

177 extrinsic（类型论与数学基础）外蕴

178 function extensionality（类型论与数学基础）函数外延性

179 generalized algebraic data type（类型论与数学基础）广义代数数据类型

180 heterogeneous equality（类型论与数学基础）异质相等