# Is there a analysis conjecture proven to be unprovable or a proof is non-existence?

Is there a analysis conjecture proven to be unprovable or a proof is non-existence?

So, is it once a math history milestone

-
why two downvote –  Victor Jun 28 '12 at 22:01
There is a large number of assertions of analysis that have been proved independent of ZFC. –  André Nicolas Jun 28 '12 at 22:11
@AndréNicolas - Maybe you could explain what is a ZFC in your answer. –  Victor Jun 28 '12 at 22:13
@Victor Google "ZFC" and click the first result, which for me is the Wikipedia page on Zermelo–Fraenkel set theory (+ Choice). This is usually assumed to be the underpinning of mathematics. If you want to worry about provability, you should probably read that page. –  Dylan Moreland Jun 28 '12 at 22:15
Victor, did you mean to ask "why two upvotes"? –  The Chaz 2.0 Jun 28 '12 at 22:51