放屁有益健康 发表于 2011-11-6 12:59 
根据我的理解,独立性的前提必须是相容性:也就是说,首先要证明具有独立性的那个命题和其它前提条件是没有 ...
我不知道你只是看了“摘要”还是有读过全文。不过,我只能说你完全理解错了。“A(单个命题或一系列前提条件)蕴涵命题B”这一陈述为真,那么当A为真时B必定为真。但当A为假时,那么B可能为真也可能为假。此时命题B不因“A(单个命题或一系列前提条件)蕴涵命题B”这一陈述为真而必须为真或为假。这时,我说B的真假性独立于A,意思是不受A的约束,B有可能成为一个公理,而不再是由A来推导的一个定理或命题。
如果上述解释还不能让你明白,那么举个具体的例子。A:“地球人都是黄种人”及“T是一个地球人”,B:“T是一个黄种人”。显然,A蕴涵B。但A含有不为真的陈述:“地球人都是黄种人”。所以B到底是真的还是假的,我们不能由A来决定。验证B是真的或假的,我们需要别的依据。此时,我说B的真假性独立于A,意思只是简单的表示不受A的约束罢了。