Una numeración de Gödel es una asignación de un único número natural para cada elemento de cada uno de estos tres conjuntos: signos, cadenas de signos y sucesiones de cadenas.