
Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Posted:
Oct 5, 2012 7:23 PM


On Oct 6, 8:58 am, Frederick Williams <freddywilli...@btinternet.com> wrote: > Graham Cooper wrote: > > > 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. > > I don't get it. Which is the first theorem in an enumeration will > depend on how they are enumerated.
You said use Godel numbering.
In that case: using an alphabet of
{a, b, c, d, e, f, g, 0, 1, E, A, (, ), ,, {, } +, , =, >,<, !}
the first theorem of ZFC is
a
George seems to think VALIDATED THEOREMS are numbered as they are VALIDATED.
Neither of you have an INKLING what the enumeration method is, or even what parses as a well formed if not validated formula.
Herc

