Nam Nguyen wrote: > On 19/06/2013 6:08 PM, Shmuel (Seymour J.) Metz wrote: >> In <email@example.com>, on 06/18/2013 >> at 10:05 PM, Nam Nguyen <firstname.lastname@example.org> said: >> >>> Would you confirm then to you ZFC is the language GCH is written in? >> >> If you're talking about GCH in ZFC then ZFC is the language that it is >> written in. If you're talking about GCH in some ofther set theory then >> it isn't. > > You don't understand the question: the question has the phrase > "is written in". > > Let me ask you a simpler but more point-blank kind of question: to you, > is ZFC a language, or not?
The language in question has one binary infix predicate $\in$ and the usual apparatus of first order logic. That Shmuel Metz calls the language ZFC is of no significance; it is understood by every reader of this newsgroup except you.
-- I think I am an Elephant, Behind another Elephant Behind /another/ Elephant who isn't really there.... A.A. Milne