tokens: Le caractère effectif du raisonnement diagonal en a fait l' un des fondements de la théorie de la calculabilité , autant pour les résultats de non-existence que sont les démonstrations d' indécidabilité algorithmique , à commencer par la preuve de l' indécidabilité du problème de l' arrêt , que pour des résultats d' existence , comme les théorèmes de point fixe de Kleene .