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