Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.


byron
Posts:
889
Registered:
3/3/09


Re: an inaccessible universe
Posted:
Mar 13, 2013 8:26 PM


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



