You're talking about Gödel encoding, not Godel's incompleteness theorem.