Mais Gödel prouva aussi que dans un tel système (consistant et permettant d’exprimer l’arithmétique en l’occurrence), l’une des propositions indémontrables est précisément la consistance du système.
Autrement dit, si l’on peut prouver la consistance d’un système arithmétique, c’est soit que l’on s’est trompé, soit que le système est inconsistant et qu’on peut alors prouver n’importe quoi.
Auteur:
Info: Dans "Pensées d'ailleurs", page 125
Commentaires: 0