
Re: Matheology � 291
Posted:
Jun 17, 2013 11:06 AM


<mueckenh@rz.fhaugsburg.de> wrote in message news:1bc86ac2c66b42e0acbff6ea419ce170@googlegroups.com... 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 >wellordered, in other axiomsystems it is possible to prove that the reals > >cannot be wellordered. This shows that these "proofs" are nonsense, only >pursued by matheologians. No science would rely on modern logic. > >The question is simply whether the reals can be wellordered or not. But >that question is not decided by matheology. > >How can some people remain that stupid to give a dime for a "proof" in >matheology after Zermelo's desaster has become general knowledge? > >>(Zermelo thought to prove that it can be done. Fraenkel wrote that >*hitherto* nobody had accomplished it.) Menawhile the value of modern logic > >should be obvious to everybody. > >Regards, WM
you so silly, the first axiom is " I always lie "

