Usando esta numeración, es posible traducir las propiedades de una teoría formal , tales como «estos signos constituyen una fórmula» o «estas fórmulas no son una demostración en », a propiedades aritméticas de dichos números.