
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 > > > > http://www.scribd.com/doc/40697621/MathematicsEndsinMeaninglessnessieselfcontradiction > > > > 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 > > BanachTarskin paradox > > BuriliForti 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.

