Mediante la numeración de Gödel, es posible «traducir» los signos y reglas de una teoría formal en números y operaciones aritméticas.