Gödel numbering
ゲーデル数のアイデアを暗に使っている例としては、コンピュータにおけるエンコードが挙げられる。