On Thursday, March 14, 2013 5:32:36 AM UTC+11, fom wrote: > On 3/13/2013 9:10 AM, email@example.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