Esta conclusión es paradójica, pero todas las máquinas que hemos usado en la demostración, exceptuando "Termina", son construibles; por lo tanto la clave de la demostración se encuentra, por reducción al absurdo, en la supuesta existencia de la máquina "Termina".