Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


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

Topic: It is shown that ZFC is inconsistent
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
byron

Posts: 881
Registered: 3/3/09
It is shown that ZFC is inconsistent
Posted: Feb 6, 2013 6:46 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

It is shown that ZFC is inconsistent

http://www.scribd.com/doc/40697621/Mathematics-Ends-in-Meaninglessness-ie-self-contradiction

in ZFC IS AN AXIOM CALLED THE Axiom schema of specification

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

the axiom of separation is used to outlaw/block/ban impredicative statements like Russells paradox



now
the axiom of separation of ZFC is it self impredicative as Solomon Ferferman points out

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
Russells paradox
Banach-Tarskin paradox
Burili-Forti paradox
Which are now still valid

ZFC is shown to be inconsistent by australias leading erotic poet colin leslie dean



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

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.