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: an inaccessible universe
Replies: 9   Last Post: Mar 14, 2013 12:15 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
byron

Posts: 885
Registered: 3/3/09
Re: an inaccessible universe
Posted: Mar 13, 2013 8:26 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Thursday, March 14, 2013 5:32:36 AM UTC+11, fom wrote:
> On 3/13/2013 9:10 AM, spermatozon@yahoo.com wrote:
>

> >
>
> > ZFC is inconsistent
>
> >
>
>
>
> I am unable to prove otherwise.
>
>
>
> However, you might save me some
>
> hard work if you can transform
>
> the derivation of a contradiction
>
> that proves your statement into
>
> a derivation using my axiom set
>
> (which is not ZFC) that does the
>
> same.
>
>
>
> Do I presume correctly that you
>
> can provide a derivation of a
>
> contradiction using the axioms
>
> of ZFC and predicate logic with
>
> identity to support your claim?


derivation of contradiction

Zfc axiom of seperation bans impredicative statements
yet is impredicative itself
so it bans its self
thus zfc ends in contradiction



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.