|
|
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
|
|
