Comment by pxeger1

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