|
|
Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Posted:
Oct 5, 2012 8:47 AM
|
|
Graham Cooper wrote:
>
> Formal Theory means all sentences in the Theory are systematically
> enumerated.
>
> ZFC is NOT a formal Theory!
>
> There is no method given to distinguish between theorems and predicate
> calculus formulas.
>
> [...]
>
> You have NO WAY of enumerating Theorems!
What is enumerated is G\"odel numbers of theorems. So which theorem
comes first depends on the enumerator and the G\"odel numbering.
--
Where are the songs of Summer?--With the sun,
Oping the dusky eyelids of the south,
Till shade and silence waken up as one,
And morning sings with a warm odorous mouth.
|
|
