Added GoedelNumbers class