数学数理逻辑数学基础证明论
ω相容性 ω-consistency;omega- consistency ω相容性的意思 ω-consistency;omega- consistency的意思 ω相容性的英文
科学技术名词为您提供ω相容性,ω-consistency;omega- consistency,ω相容性的意思,ω-consistency;omega- consistency的意思,ω相容性的英文,ω-consistency;omega- consistency的翻译,ω相容性的翻译,ω相容性是什么意思,ω相容性什么意思,ω-consistency;omega- consistency是什么意思,ω-consistency;omega- consistency什么意思
ω相容性 相关科技名词
- 希尔伯特计划Hilbert program
- 直觉主义逻辑intuitionist logic
- 构造性constructivity
- 构造论者constructivist
- 直觉主义数学intuitionistic mathematics
- 抽象[化]abstraction
- 佩亚诺公理Peano axiom
- 数学归纳法mathematical induction
- 二阶算术second-order arithmetic
- 数词可表示性numeralwise representability
- 可驳[的]refutable
- ω相容性ω-consistency;omega- consistency
- 不可证明性unprovability
- 强度strength
- 相对相容性relative consistency
- 算术化arithmetization
- 算术系统arithmetic system
- 元理论metatheory
- 元逻辑metalogic
- 元语言metalanguage
- 独立性independence
- 元数学metamathematics
- 可判定性decidability
- 形式不可判定命题formal undecidable proposition
- 判定问题decision problem
- 截规则cut rule
别人正在查