Re: Request for Review of ZF Inconsistency Proof

Relevant Pages

• Re: Moore on Skolems Paradox
  ... their language, the proof of the uncountability of the reals is valid. ... mathematics is simply nothing whatever like ... If you want to imagine a world ... set theory would be true, but set theory says there are uncountably ...
  (sci.logic)
• Re: OT: Questions about Set Theory
  ... general knowledge but I may be wrong. ... Naive set theory is how most people, ... the way a programmer most of the time deals with high level language ... "things" and logic is the language of properties and reasoning. ...
  (comp.sys.mac.advocacy)
• Re: Scott and Georges Teaching Thread
  ... The realm we are about to investigate, set theory, ... ONLY HAS ONE predicate. ... The definition of a first-order language gives rules for combining the ... The purpose of this enterprise is to prove theorems from axioms. ...
  (sci.logic)
• Re: Godel proved maths inconsistent not incompleteness theorem
  ... except that I meant my response to be in context of my ... theorems of category theory (if couched in the language of set theory) ... adequate for expressing ordinary mathematics. ...
  (sci.logic)
• Re: Godel cant tell us what makes a mathematical statement true
  ... whatever actual name used), for example, both Enderton and Shoenfield. ... are not part of the underlying set language, ... language of set theory', then, yes, of course 'true' and 'false' are ... And to formalize Shoenfield's formulation set theoretically, ...
  (sci.logic)