术语 · Terminology

术语翻译表

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

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

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

全部术语

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

共 1727 个义项

1561 disjunction（证明论与形式系统） 或
1562 elimination rule（证明论与形式系统） 消去规则
1563 exchange rule（证明论与形式系统） 交换规则
1564 external choice（证明论与形式系统） 外选择
1565 false（证明论与形式系统） 假
1566 formation rule（证明论与形式系统） 形成规则
1567 formula（证明论与形式系统） 公式
1568 Gentzen’s Hauptsatz（证明论与形式系统） Gentzen 主要定理
1569 Gödel’s incompleteness theorems（证明论与形式系统） Gödel 不完备性定理
1570 identity rule（证明论与形式系统） 恒同规则
1571 implication（证明论与形式系统） 蕴涵
1572 induction（证明论与形式系统） 归纳法
1573 inference rule（证明论与形式系统） 推导规则
1574 intuitionistic sequent（证明论与形式系统） 直觉主义相继式
1575 linear logic（证明论与形式系统） 线性逻辑
1576 logical connective（证明论与形式系统） 逻辑连接词
1577 logical harmony（证明论与形式系统） 逻辑和谐
1578 method of affirmation（证明论与形式系统） 肯定前件
1579 natural deduction（证明论与形式系统） 自然演绎
1580 negation（证明论与形式系统） 非
1581 normal form（证明论与形式系统） 正规形式
1582 order logic（证明论与形式系统） 顺序逻辑
1583 parametricity（证明论与形式系统） 参数性
1584 predicate（证明论与形式系统） 谓词
1585 predicate logic（证明论与形式系统） 谓词逻辑
1586 principle of explosion（证明论与形式系统） 爆炸律
1587 propositional logic（证明论与形式系统） 命题逻辑
1588 quantifier（证明论与形式系统） 量词
1589 realizability（证明论与形式系统） 具现
1590 rewriting（证明论与形式系统） 重写