5
$\begingroup$

I am familiar with the concept that a statement can be proven indepent such as in the case of the continuum hypothesis where both ZFC+CH and ZFC+(CH is false) are both proven consistent, but I would like to know if any current publications show that ZFC can show the following to be true of a statement T:

[ZFC+T is cconsistent and ZFC+(T is false) is consistent] is independent

(I apologize at how informally the question is posed; I've just started to read the work of Cohen and Godel and have been unable to find any text refering to this problem)

  • 3
    To nitpick, ZFC+CH is not proven to be consistent. It was proven that *if* ZFC is consistent then ZFC+CH is consistent (and same for ZFC+~CH). It is unknown whether ZFC is consistent or not, and by Godel's incompleteness we will probably never know as well.2011-07-17

1 Answers 1

14

Statements of the form Con(ZFC + T) are never provable in ZFC, because they imply Con(ZFC). Similarly, ZFC can not prove any statement of the form "T is not provable in ZFC", because such statements also imply Con(ZFC). Both of these facts are consequences of Gödel's incompleteness theorems.

On the other hand if ZFC + T is consistent, then it is also impossible for ZFC to prove that "ZFC+ T is inconsistent". Because ZFC is $\omega$-consistent, if ZFC proves some theory is inconsistent then the theory really is inconsistent.

In short, ZFC cannot prove "ZFC + T is consistent" for any T and cannot disprove that statement for any T such that ZFC + T is actually consistent.

  • 4
    I agree that it is always important to remark that ZFC cannot be proven consistent and we always have to assume that, it is not always necessary to mention that - just like we do not start every answer, paper, whatnot with "Assume first order logic is consistent..." and so on. Lately it feels like every question in set theory gets a comment about this... :-)2011-07-17