I've found a couple more versions of the original paradox. There's another named after Richard. The two apparently are classified as definability paradoxes, as opposed to set theoretical ones like those of Cantor or Russel. Will need to follow up on it tomorrow.