On Oct 6, 12:20 am, George Greene <gree...@email.unc.edu> wrote: > On Oct 5, 3:59 am, Graham Cooper <grahamcoop...@gmail.com> wrote: > > > Formal Theory means all sentences in the Theory are systematically > > enumerated. > > Tht's Lie #1 . Who are you supposed to be? MItt Romney? > > > ZFC is NOT a formal Theory! > > That's Lie # 2. It's usually defined as an axiom-set but if you want > to TALK set theory then it is > the formal theory containng all and only the theoerms PROVEN FROM > those axioms. > > > > > There is no method given to distinguish between theorems and predicate > > calculus formulas. > > This is Lie # 3. It's not immediately rebuttable because you don't > know what "predicate calculus formulas" MEANS, and because we don't > talk that way. > > > You have NO WAY of enumerating Theorems! > > That's more like Lie # 0. THAT statement was BORN a lie. > Since theorems are BY DEFINITION *proved*, they are BORN "enumerated". > A theorem's proof IS its "number".
George's idiocy is in full bloom here!
His underlying contradictions and FAILURE TO STATE THEOREM 1 of ZFC result in this copious false output and misunderstandings of what a theorem, formula, or theory actually are.