The Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: Why do we need those real non-constructible numbers?
Replies: 1   Last Post: Nov 11, 2017 2:10 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View  
wolfgang.mueckenheim@hs-augsburg.de

Posts: 3,298
Registered: 10/18/08
Re: Why do we need those real non-constructible numbers?
Posted: Nov 11, 2017 2:10 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Am Samstag, 11. November 2017 17:51:15 UTC+1 schrieb Dan Christensen:
> On Saturday, November 11, 2017 at 4:32:09 AM UTC-5, WM wrote:
> > Am Freitag, 10. November 2017 19:50:36 UTC+1 schrieb Dan Christensen:
> > > On Friday, November 10, 2017 at 9:53:06 AM UTC-5, WM wrote:
> >
> >

> > > >
> > > > Therefore we use only FOL and the axioms of ZF and find that they make ZF uncountable without refering to anything else (that others may call a model but that you don't know and that threfore should not be used when talking to you).

> > >
> > > To prove that ZFC is inconsistent, you must be able to both prove and disprove the same theorem using only FOL and the axioms ZFC.

> >
> > No. My share is done, showing that the power set of the set defined in Axiom VII is uncountable.

>
> It is a well known result that the power set of any infinite set is uncountable.


In every model of ZF.
>
>

> > The other part has been settled by Skolem already.
> >

>
> Bullshit.


So said Zermelo too, not with your language of the gutter though.
>
Regards, WM



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2017. All Rights Reserved.