Search All of the Math Forum:

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

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

 Messages: [ Previous | Next ]
 byron Posts: 881 Registered: 3/3/09
ZFC is inconsistent
Posted: Mar 13, 2013 10:24 AM

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
Which are now still valid

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