Godel numbering is banning a number. What are you talking about?