补充资料：ω相容性

ω相容性
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不完全性定理就知道存在一个系统，它是相容的，但又是。不相容的.

说明：补充资料仅用于学习参考，请勿用于其它任何用途。