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: ZFC is inconsistent
Replies: 54   Last Post: Mar 23, 2013 9:02 PM

 Messages: [ Previous | Next ]
 Inverse 18 Mathematics Posts: 175 Registered: 7/23/10
Re: ZFC is inconsistent
Posted: Mar 13, 2013 1:08 PM

On March 13, 2013, sperm...@yahoo.com wrote:
> Australias leading erotic poet colin leslie dean showsZFC is inconsistent
>
>
>
>
>
>
> 1)ZFC is inconsistent 2) that the paradoxes it was meant to avoid are now still valid and thus mathematics is inconsistent
>
>
>
> As the axiom of ZFC ie axiom of separation outlaws/blocks/bans itself thus making ZFC inconsistent
>
>
>
> Proof
>
>
>
> http://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory
>
>
>
>
>
> 3. Axiom schema of specification (also called the axiom schema of separation or of restricted comprehension): If z is a set, and \phi\! is any property which may characterize the elements x of z, then there is a
>
> subset y of z containing those x in z which satisfy the property. The "restriction" to z is necessary to avoid Russell's paradox and its variant
>
>
>
>
>
> now Russell's paradox is a famous example of an impredicative construction, namely the set of all sets which do not contain themselves
>
>
>
> the axiom of separation is used to outlaw/block/ban impredicative statements like Russells paradox
>
>
>
> but this axiom of separation is itself impredicative
>
>
>
> http://math.stanford.edu/~feferman/papers/predicativity.pdf
>
>
>
>
>
> "in ZF the fundamental source of impredicativity is the seperation axiom which asserts that for each well formed function p(x)of the language ZF the existence of the set x : x } a ^ p(x) for any set a Since the formular
>
> p may contain quantifiers ranging over the supposed "totality" of all the sets this is impredicativity according to the VCP this impredicativity is given teeth by the axiom of infinity "
>
>
>
>
>
> thus it outlaws/blocks/bans itself
>
> thus ZFC contradicts itself and 1)ZFC is inconsistent 2) that the paradoxes it was meant to avoid are now still valid and thus mathematics is inconsistent
>
> Now we have paradoxes like
>
>
>
>
> Which are now still valid

Misunderstanding of ZFC doesn't mean that it's inconsistent. Learn some math and write less erotic poems. It will certainly help.

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