Date: Mar 13, 2013 1:08 PM
Author: Inverse 18 Mathematics
Subject: Re: ZFC is inconsistent

On March 13, 2013, sperm...@yahoo.com wrote:
> Australias leading erotic poet colin leslie dean showsZFC is inconsistent
>
>
>
> http://www.scribd.com/doc/40697621/Mathematics-Ends-in-Meaninglessness-ie-self-contradiction
>
>
>
> 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
>
> Russells paradox
>
> Banach-Tarskin paradox
>
> Burili-Forti paradox
>
> 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.