Por aciu la numberación de Gödel, ye posible «traducir» los signos y regles duna teoría formal  en númberos y operaciones aritmétiques. Ye posible dir más allá, yá que  ye una teoría aritmética y puédense «recodificar» les mentaes operaciones por aciu el llinguaxe formal de , al igual que puede faese con otres funciones y rellaciones aritmétiques como por casu