On Monday, June 17, 2013 5:23:11 AM UTC-7, muec...@rz.fh-augsburg.de wrote: > On Monday, 17 June 2013 07:43:58 UTC+2, Zeit Geist wrote: > > > > In some systems consisting of ZFC + Some "Large Cardinal Axiom" CH, even GHC, can be proved or disproved. Perhaps Godel foresaw the coming power of Inner Model Theory and Descriptive Set Theory. > > > >> In some axiom systems it is possible to prove that the reals can be well-ordered, in other axiom-systems it is possible to prove that the reals cannot be well-ordered. This shows that these "proofs" are nonsense, only pursued by matheologians. No science would rely on modern logic. > > Why are you talking about the well-ordering of the reals?
Because it is the most famous example. It can be "proved" in ZFC, it can be disproved in Mathematics. And it cannot be done in reality.
> I thought this was about the Continuum Hypothesis?