La numeración de Gödel es una herramienta que permite relacionar las teorías formales con la aritmética.