科学技术名词为您提供斯科伦佯谬,Skolem paradox,斯科伦佯谬的意思,Skolem paradox的意思,斯科伦佯谬的英文,Skolem paradox的翻译,斯科伦佯谬的翻译,斯科伦佯谬是什么意思,斯科伦佯谬什么意思,Skolem paradox是什么意思,Skolem paradox什么意思
斯科伦佯谬 相关科技名词
- 可满足性satisfiability
- 可定义性definability
- 可表示性representability
- 膨胀expansion
- 斯科伦函数Skolem function
- 斯科伦壳Skolem hull
- 斯科伦佯谬Skolem paradox
- 降L-S定理downward Loewenheim-Skolem theorem
- 内插定理interpolation theorem
- 量词消去elimination of quantifier
- 初等等价[的]elementarily equivalent
- 子结构substructure
- 子模型submodel
- 初等子结构elementary substructure
- 初等子模型elementary submodel
- 模型链chain of model
- 型type
- 型省略定理omitting types theorem
- 进退构造back and forth construction
- 不可辨元indiscernible
- 原子[语]句atomic sentence;primitive sentence
- 原子公式atomic formula
- 原子理论atomic theory
- 原子模型atomic model
- 素模型prime model
- 饱和模型saturated model
- 万有模型universal model
- 极小模型minimal model
- 齐次模型homogeneous model
- 范畴性categoricity
- 稳定性stability
- 分叉forking
- 莫利定理Morley theorem
- 可靠性soundness
- 递归结构recursive structure
- 容许结构admissible structure
- 形式化算术formalized arithmetic
- 抽象模型论abstract model theory
- 非标准分析non-standard analysis
- 无穷小infinitesimal
别人正在查