In logica, procedimento consistente nell'associare univocamente a ogni simbolo di un linguaggio un numero naturale, così da trasformare un discorso sulle formule di tale linguaggio in una relazione tra numeri. Il primo esempio di a. fu data da K. Gödel nella dimostrazione dell'incompletezza formale dell'aritmetica classica.