Search All of the Math Forum:

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Why do we need those real non-constructible numbers?
Replies: 68   Last Post: Dec 11, 2017 1:42 AM

 Messages: [ Previous | Next ]
 wolfgang.mueckenheim@hs-augsburg.de Posts: 3,394 Registered: 10/18/08
Re: Why do we need those real non-constructible numbers?
Posted: Nov 11, 2017 2:11 PM

Am Samstag, 11. November 2017 11:07:06 UTC+1 schrieb Zelos Malum:
> Den lördag 11 november 2017 kl. 10:32:09 UTC+1 skrev WM:
> > 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. The other part has been settled by Skolem already.
> >

> > > > > No improvisations or hand waving allowed.
> >
> > Where is that detected? In Skolem's proof? In Hessenbergs proof using axioms VII and IV without any models?
> >

> The fact that |2^N| is uncountable is not an issue in mathematics.

And the fact that N or Z or an equivalent set is in every model of ZF is not an issue either.

Regards, WM

Date Subject Author
11/6/17 bassam king karzeddin
11/6/17 wolfgang.mueckenheim@hs-augsburg.de
11/8/17 bassam king karzeddin
11/8/17 wolfgang.mueckenheim@hs-augsburg.de
11/8/17 bursejan@gmail.com
11/8/17 bursejan@gmail.com
11/8/17 wolfgang.mueckenheim@hs-augsburg.de
11/8/17 bursejan@gmail.com
11/8/17 bursejan@gmail.com
11/9/17 bassam king karzeddin
11/9/17 zelos.malum@gmail.com
11/9/17 bassam king karzeddin
11/9/17 bassam king karzeddin
11/9/17 wolfgang.mueckenheim@hs-augsburg.de
11/9/17 bassam king karzeddin
11/9/17 wolfgang.mueckenheim@hs-augsburg.de
11/13/17 bassam king karzeddin
11/14/17 wolfgang.mueckenheim@hs-augsburg.de
11/14/17 genmailus@gmail.com
11/14/17 bursejan@gmail.com
11/14/17 bursejan@gmail.com
11/6/17 Stephen G. Giannoni
11/6/17 zelos.malum@gmail.com
11/7/17 bassam king karzeddin
11/9/17 zelos.malum@gmail.com
11/8/17 jsavard@ecn.ab.ca
11/8/17 bassam king karzeddin
11/8/17 Jim Burns
11/9/17 wolfgang.mueckenheim@hs-augsburg.de
11/8/17 Jan Burse
11/8/17 Dan Christensen
11/8/17 Dan Christensen
11/8/17 wolfgang.mueckenheim@hs-augsburg.de
11/8/17 bursejan@gmail.com
11/8/17 bursejan@gmail.com
11/8/17 Jan Burse
11/8/17 Jan Burse
11/11/17 bassam king karzeddin
11/11/17 zelos.malum@gmail.com
11/9/17 wolfgang.mueckenheim@hs-augsburg.de
11/9/17 Tucsondrew@me.com
11/9/17 wolfgang.mueckenheim@hs-augsburg.de
11/9/17 wolfgang.mueckenheim@hs-augsburg.de
11/8/17 Dan Christensen
11/9/17 wolfgang.mueckenheim@hs-augsburg.de
11/9/17 Tucsondrew@me.com
11/9/17 Dan Christensen
11/9/17 wolfgang.mueckenheim@hs-augsburg.de
11/9/17 Dan Christensen
11/10/17 wolfgang.mueckenheim@hs-augsburg.de
11/10/17 Dan Christensen
11/11/17 wolfgang.mueckenheim@hs-augsburg.de
11/11/17 zelos.malum@gmail.com
11/11/17 wolfgang.mueckenheim@hs-augsburg.de
11/8/17 Peter Percival
11/11/17 bassam king karzeddin
11/11/17 zelos.malum@gmail.com
11/15/17 bassam king karzeddin
11/15/17 Dan Christensen
11/15/17 zelos.malum@gmail.com
11/27/17 bassam king karzeddin
11/29/17 rebatchelor2@gmail.com
11/30/17 bassam king karzeddin
12/1/17 zelos.malum@gmail.com
12/2/17 bassam king karzeddin
12/4/17 zelos.malum@gmail.com
12/6/17 bassam king karzeddin
12/9/17 bassam king karzeddin
12/11/17 zelos.malum@gmail.com