Gödel numbering
There are more sophisticated (and more concise) ways to construct a Gödel numbering for sequences.