[upquark]

Still not sure I follow. Set of non-kings is not ill-defined, not in the same way as set of numbers non-describable by any formal system is.

[mcherm]

> Set of non-kings is not ill-defined, not in the same way as set of numbers non-describable by any formal system is.

Um... roughly the same. Is Robert Mugabe a king? Since we didn't give a clear and precise definition of "king" you can't really say.

[upquark]

No, my "ill-defined" means "will lead to contradictions if you look too closely", not "I haven't exactly specified what it means".