« Fondements des mathématiques/Des preuves de cohérence » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (- {,2}\| ?précédent {,3}= ?\[\[([\w\s]*)\/([\w\s]*)\|([\w\s]*)\]\] + | précédent = ../\2/) |
m Robot : Remplacement de texte automatisé (-XIXème siècle +{{s|19}}) |
||
Ligne 58 :
Le paradoxe du menteur, qui vient d’être présenté, est comme beaucoup d’autres paradoxes, très important pour la recherche des vérités. Le chapitre 4 a rappelé son importance dans les preuves d’incomplétude des principes mathématiques.
À la fin du
La méthode formaliste de Frege lui a permis d’éviter tous les sophismes, mais il est tombé sur un paradoxe. Russell lui a prouvé que ses axiomes, pourtant naturels, conduisent à une contradiction. Cette preuve a été présentée dans le chapitre 3.
|