Usando esta numberación, ye posible traducir les propiedaes duna teoría formal T, tales como «estos signos constitúin una fórmula» o «estes fórmules nun son una demostración en T», a propiedaes aritmétiques de dichos númberos.