In article <email@example.com>, firstname.lastname@example.org wrote:
> 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.
In any logical system in which a complete Archimedean ordered field like the reals can be proved to be well-ordered, one can also prove that, among other things, 2 + 2 = 1 and WM is a donkey. --