Godel Coding