Voir aussi Chiffres de l "Église Numéro de description Le théorème de l'incomplétude de Gödel est le théorème d'incomplétude de Chaitin Références Gödel, Kurt, '' Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I '', Monatsheft für Math.
Références Gödel, Kurt, '' Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I '', Monatsheft für Math.