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.