How important is Gödel numbering to his incompleteness proofs, set theory, logic theory in general and proofs employing ZFC? Can we use some other numbering or 'meta' programming?
How about if one uses a more efficient numbering system? How efficient can the numbering system be in order for his proofs to work?