Truth Value of Theorems in Axiomatic Set Theory I encountered set theory these past couple of days in discrete mathematics, and my professor was talking about the axiom of choice and ZFC. He said that depending on which axiom you started from, you could prove or disprove the Continuum Hypothesis.
Now this really intrigued and distressed me. I thought mathematics was the language that is all proof, all universal truth. How can there be two theorems that lead to two different outcomes? Is one or both of them wrong?
 A: There is a theorem that says the angles of a triangle always add up to 180 degrees. There is another theorem that says the angles of a triangle always add up to more than 180 degrees. How can there be two theorems that lead to two different outcomes? Easy: they are based on different situations. The first one is predicated on the axioms of Euclidean geometry. The second is based on the axioms of spherical geometry; every triangle (suitably defined) on a sphere has angles adding up to more than 180 degrees. 
There's even a third system, where every triangle has angles adding up to less than 180 degrees; it's called hyperbolic (or, Lobachevskian) geometry. 
Which one is the true geometry? Unask the question. There is no such thing as the true geometry, there are just different models that are useful in different circumstances. 
The situation with the Continuum Hypothesis is similar. There is a set theory in which it is true, and a set theory in which it is false, and no one has come up with a convincing argument that one of these is the true set theory and the other a fake. For the time being, and perhaps forever, we have to accept that there are different models that are useful in different situations. 
If it's any comfort to you, none of this has any effect whatsoever on the mathematics of the typical introductory discrete math class. Everything you are likely to see in such a class will hold regardless of what goes on with the Continuum Hypothesis. 
A: Mathematics is about deducing theorems from previous theorems and axioms, using logical axioms (for example $\lnot\lnot\alpha\rightarrow\alpha$).
In first order logic, in which much of set theory is done, there is a theorem known as The Deduction Theorem. This theorem says that if we can prove $\beta$ from $T\cup\{\alpha\}$ then we can prove from $T$ the statement $\alpha\rightarrow\beta$.
The importance is that if we assume that ZFC is consistent then we can prove from that ZFC+CH and ZFC+$2^{\aleph_0}=\aleph_2$ are both consistent.
In fact, in a very strange sense we prove that ZFC proves that there is no proof from ZFC alone that $2^{\aleph_0}=\aleph_1$. We can of course prove CH from a stronger theory ZFC+CH.
Whether or not the statement itself is true or not is a philosophical question, whether or not there is a single universe or a multiverse with multitude of truth values. This is much discussed in several papers (such as this one).
Regardless to the nature of mathematics, universal or multiversal, we cannot prove all statements from a theory which has certain properties, as tells us Gödel's incompleteness theorems.
A: What this material is doing in a standard discrete mathematics course is beyond me-unless your professor is an expert in mathematical logic and axiomatic set theory and just decided to toss it out there. 
In any event,what your professor is referring to is one of the deepest results of these areas in the last half of the 20th century-namely,Paul Cohen's proof that the validity of either the axiom of choice or the continuum hypothesis is dependent on the axiom system chosen. To understand this, you first have to understand one of the most powerful results in all of mathematical logic: The Godel Incompleteness Theorum: 
http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
In essence, Cohen constructed 2 internally consistent but mutually inconsistent axiom systems for the Zermelo-Frankel system with the Axiom of Choice (ZFC) when in each system, one of the 2 was true and the other was false. This was a huge development because there had been a great deal of speculation whether or not this could in fact be done while creating complete axiom systems for ZFC that were consistent in the Godel sense.Many wondered since models of the ZFC that could prove all the truths of arithmetic where by the Godel theorum inconsistent, would any system capable of asserting one while falsifying the other be consistent? Cohen showed the answer was in fact yes.In other words, he proved that the validity of both The Axiom of Choice and the Continuum Hypothesis was completely independent of the ZFC axioms. 
  If you're interested in these deep results and the fields of mathematical logic and set theory-which are both altogether fascinating,especially for people who like to ask "why" things work in mathematics-then I can't recommend a better book then Robert S.Wolf's A Tour Through Mathematical Logic. Not only does it contain very detailed and wonderful discussions of all these matters,the book is very up to date and even includes a basic introduction to Hugh Woodin's recent follow-up to Cohen's work,which is very much a hot topic right now.     
