概括公理
- 与 概括公理 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
axiom of completeness
完备性公理
axiom of choice 选择公理 | axiom of completeness 完备性公理 | axiom of comprehension 概括公理
-
axiom of comprehension
概括公理
axiom of completeness 完备性公理 | axiom of comprehension 概括公理 | axiom of constructibility 可构成性公理
-
axiom of constructibility
可构成性公理
axiom of comprehension 概括公理 | axiom of constructibility 可构成性公理 | axiom of constructivity 可构成性公理
-
derivation
导出
它的一个同义词是导出(derivation). 演绎是相对于系统的概念,说一个公式(或语句)是演绎的只是相对于一不定的公理和推理规则的具体系统而言的. 演绎概念是证明概念的概括. 一个证明是语句这样的有穷序列:它的每个语句或是公理或是根据推理规则由前面的语句得出的.
- 推荐网络解释
-
uniovular twin：真孪生
uncompetitative inhibition 非竞争性抑制 | uniovular twin 真孪生 | unit membrane 单位膜
-
play off one against the other：挑拨离间, 从中得利
play off (难分胜负的)延长赛 使出丑 嘲弄 以...冒充 假装有病 | play off one against the other 挑拨离间, 从中得利 | play off one against another 挑拨离间, 从中得利
-
Gear-driven fan：齿轮传动扇
gear drive 齿轮传动 | gear driven fan 齿轮传动扇 | gear driven fixed mount 齿轮传动固定架