David C. Ullrich wrote:

On Mon, 12 Jan 2004 14:56:11 +0200, Aatu Koskensilta
aatu.koskensilta@xortec.fi> wrote:


David C. Ullrich wrote:

A shorter version of the long version: If we allow
that sort of "large language" then everything is
definable, hence the word "definable" ceases to
mean anything.

While every ordinal is obviously ordinal definable, i.e. definable with
ordinal parameters, everything need not be.


I said _that sort of large language_, not "that large language"...

I misinterpreted you, then. Sorry.