Los números de Gödel se construyen con referencia a símbolos de cálculo proposicional y la aritmética formal.