Pour prouver ce théorème, Gödel a développé une technique maintenant connue sous le nom de Gödel, qui code les expressions formelles comme des nombres naturels.
Proof Pour prouver ce théorème, Gödel a développé une technique maintenant connue sous le nom de Gödel, qui code les expressions formelles comme des nombres naturels.