Nam Nguyen wrote: > On 19/06/2013 6:10 PM, Shmuel (Seymour J.) Metz wrote: >> In <firstname.lastname@example.org>, on 06/18/2013 >> at 10:19 PM, Nam Nguyen <email@example.com> said: >> >>> In any rate, you seemed to be ignorant of the basic knowledge that >>> ZFC is _NOT_ a language. >> >> ZFC is a formal theory >> involving rules for constructing a WFF, axioms and rules of inference. > > Constructing a formula is just writing down the formula. > > So to write the formula GCH, you have to know the formal system ZFC?
You don't need to know its axioms but you need to know what its wff are and how such things as aleph_alpha are defined.
What point do you think you're making?
-- I think I am an Elephant, Behind another Elephant Behind /another/ Elephant who isn't really there.... A.A. Milne