This procedure is known variously as Gödel numbering, coding and, more generally, as arithmetization.
Dieses Verfahren ist verschiedentlich als Gödel-Nummerierung und allgemeiner als Arithmetisierung bekannt.