遞歸可公理化(recursively axiomatizable)是1993年公布的數學名詞。
基本介紹
- 中文名:遞歸可公理化
- 外文名:recursively axiomatizable
- 所屬學科:數學
- 公布時間:1993年
- 審定機構:全國科學技術名詞審定委員會
公布時間,出處,
公布時間
1993年,經全國科學技術名詞審定委員會審定發布。
出處
《數學名詞》第一版。
遞歸可公理化(recursively axiomatizable)是1993年公布的數學名詞。
遞歸可公理化(recursively axiomatizable)是1993年公布的數學名詞。公布時間1993年,經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
在模型論中,公理數目可以有限多,稱為有限可公理化的理論。這類理論有;群、交換群、環、整域、域、有序域、全序集、格、布爾( Boole)代數、貝納斯-哥德爾集合論,等等。許多重要理論是不能有限公理化的,其中一部分是遞歸可公理化...
簡稱一階算術.一階算術Ω由直觀上為真的全體一階算術語句所組成,因此,它是一個協調的、完備的理論(這與佩亞諾算術PA大不一樣).但是,Ω是不可公理化的,即無法從Ω中挑選出一個遞歸可枚舉的語句集合作為公理,從而把Ω中的其他...