Las teorías formales para las que esto es posible —asignar los números de Gödel de manera que distinguir los signos, cadenas, sucesiones, fórmulas, consecuencias y axiomas, puede llevarse a cabo con un algoritmo— son las llamadas teorías recursivas, y por ello esta característica se asume como hipótesis en los teoremas de incompletitud.