Search All of the Math Forum:

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

Topic: ZFC is inconsistent
Replies: 54   Last Post: Mar 23, 2013 9:02 PM

 Messages: [ Previous | Next ]
 mueckenh@rz.fh-augsburg.de Posts: 18,076 Registered: 1/29/05
Re: ZFC is inconsistent
Posted: Mar 15, 2013 5:30 AM

On 13 Mrz., 18:40, Frederick Williams <freddywilli...@btinternet.com>
wrote:
> Some mathematicians do reject the
> axiom of choice, but I do not know if any have done so because of
> Banach-Tarski.

Every mathematician does so! Notwithstanding any intermediate
abracadabra the result is that v = 2V and that is wrong in
mathematics.
>
> I suspect that a good many, on first hearing of the Banach-Tarski
> paradox, thought 'Wow! How about that! Isn't mathematics fun?'  And
> perhaps: 'So what happens if Choice is false? Do any loopy things happen
> in that case?'  Meanwhile, note that if set theory is consistent, one
> may safely assume either Choice or its negation.

ZF is not consistent if this result is correct.

Proof: With axiom of choice it is possible to choose uncountably many
elements out of uncountably many sets. But non-material elements
cannot be chosen other than by defining them. Further it is undisputed
that only countably many definitions are available and that
"uncountable" is larger than "countable".

These things are well-known to every mathematician who deserves this
name. We have no choice.

Regards, WM

Date Subject Author
3/13/13 byron
3/13/13 Inverse 18 Mathematics
3/13/13 byron
3/13/13 YBM
3/23/13 Jesse F. Hughes
3/13/13 Frederick Williams
3/14/13 byron
3/15/13 mueckenh@rz.fh-augsburg.de
3/15/13 YBM
3/15/13 Virgil
3/15/13 fom
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 fom
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 Virgil
3/17/13 mueckenh@rz.fh-augsburg.de
3/17/13 Virgil
3/18/13 fom
3/18/13 fom
3/17/13 fom
3/17/13 mueckenh@rz.fh-augsburg.de
3/17/13 Virgil
3/17/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 Virgil
3/17/13 Virgil
3/18/13 fom
3/16/13 Virgil
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 fom
3/16/13 mueckenh@rz.fh-augsburg.de
3/16/13 Virgil
3/17/13 mueckenh@rz.fh-augsburg.de
3/17/13 Virgil
3/17/13 mueckenh@rz.fh-augsburg.de
3/17/13 Virgil
3/17/13 fom
3/17/13 fom
3/17/13 mueckenh@rz.fh-augsburg.de
3/17/13 fom
3/17/13 mueckenh@rz.fh-augsburg.de
3/17/13 Virgil
3/18/13 fom
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 Virgil
3/18/13 mueckenh@rz.fh-augsburg.de
3/18/13 fom
3/18/13 Virgil
3/18/13 Virgil
3/18/13 fom
3/18/13 Virgil
3/18/13 fom
3/18/13 fom
3/17/13 Virgil
3/16/13 Virgil