You can't define definability, because otherwise you could talk about the "least natural number not definable in fewer than n symbols" which is a contradiction

You can't define definability, because otherwise you could talk about the "least natural number not definable in fewer than n symbols" which is a contradiction for sufficiently large n.