术语 · Terminology

术语翻译表

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

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

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

集合论与数理逻辑

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

共 229 个义项

121 identity rule（证明论与形式系统） 恒同规则
122 implication（证明论与形式系统） 蕴涵
123 induction（证明论与形式系统） 归纳法
124 inference rule（证明论与形式系统） 推导规则
125 intuitionistic sequent（证明论与形式系统） 直觉主义相继式
126 linear logic（证明论与形式系统） 线性逻辑
127 logical connective（证明论与形式系统） 逻辑连接词
128 logical harmony（证明论与形式系统） 逻辑和谐
129 method of affirmation（证明论与形式系统） 肯定前件
130 natural deduction（证明论与形式系统） 自然演绎
131 negation（证明论与形式系统） 非
132 normal form（证明论与形式系统） 正规形式
133 order logic（证明论与形式系统） 顺序逻辑
134 parametricity（证明论与形式系统） 参数性
135 predicate（证明论与形式系统） 谓词
136 predicate logic（证明论与形式系统） 谓词逻辑
137 principle of explosion（证明论与形式系统） 爆炸律
138 propositional logic（证明论与形式系统） 命题逻辑
139 quantifier（证明论与形式系统） 量词
140 realizability（证明论与形式系统） 具现
141 rewriting（证明论与形式系统） 重写
142 semi-axiomatic sequent calculus (SAX)（证明论与形式系统） 半公理化相继式演算
143 sequent（证明论与形式系统） 相继式
144 sequent calculus（证明论与形式系统） 相继式演算
145 snip rule（半公理化逻辑） 剪规则
146 structural logic（证明论与形式系统） 结构逻辑
147 structural rule（证明论与形式系统） 结构性规则
148 subformula（证明论与形式系统） 子公式
149 substructural logic（证明论与形式系统） 亚结构逻辑
150 succedent（证明论与形式系统） 后果