概括公理
- 与 概括公理 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
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). 演绎是相对于系统的概念,说一个公式(或语句)是演绎的只是相对于一不定的公理和推理规则的具体系统而言的. 演绎概念是证明概念的概括. 一个证明是语句这样的有穷序列:它的每个语句或是公理或是根据推理规则由前面的语句得出的.
- 推荐网络解释
-
Hydraulic sizer：水力筛分机
hydraulic setting refractory 水凝[性]耐火物 | Hydraulic sizer 水力筛分机 | hydraulicking 水掘法
-
roadside trees：街头树路树
rna splicing rna 剪接 | roadside trees 街头树路树 | roaring 咆哮
-
Mura：阿尔穆斯比提德
NUBI;努比亚 ;;;;;;;;;;X | MURA;阿尔穆斯比提德 ;;;;;;;;;;X | FATI;法蒂玛 ;;;;;;;;;;X