La idea es seguir la estrategia de Kurt Gödel de codificación mediante números naturales de forma tal que la propiedad de ser el número que representa a una demostración sea algorítmicamente comprobable.