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