2) union-compatible
并相容的
3) super-consistent
超相容的
5) self-consistent
[英][,selfkən'sistənt] [美][,sɛlfkən'sɪstənt]
自相容的
6) compatible
[英][kəm'pætəbl] [美][kəm'pætəbḷ]
可相容的
补充资料:ω相容性
ω相容性
onega - consistency 1? co- consistency
。相容性[佣梢,一目‘史狱y或。一co招is年n(刁;OMer:-肚nPOTHBo碘.B0c几」 算术形式系统的一种性质,表明不能得到。不相容性.田不相容性是形式系统的一种状况,指对某个公式A(x),无穷系列A(百),二,A(万),二中每个公式,以及公式二丫xA(x)都是可证明的,其中百是形式系统中一个常量代表数字O,而常量万是由(x)‘递归定义的,表示x的后继数:丽不万=(万)’. 。相容性这一概念是与算术的C位目不完全性定理(C往北1 incomPle~伍即比m)一起出现的.假设一个形式算术系统有。相容性,K .G议北l证明了这个系统的不完全性.田相容性这一性质比单纯的相容性(consisten卿)要强,只要公式A(x)中的x不出现就得到单纯的相容性.由G议无1不完全性定理就知道存在一个系统,它是相容的,但又是。不相容的.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条