Esta formalización puede ser obtenida a través de un sistema de codificación artificial como por ejemplo la numeración de Gödel.