« Remarques sur les fondements des mathématiques » : différence entre les versions
Contenu supprimé Contenu ajouté
m Ajout du paramètre oldid dans {{Traduction/Référence}} — d'après l'historique, la traduction date du 10 décembre 2022, à partir de la version du 30 novembre 2022 de l'article original |
Euh… |
||
Ligne 14 :
Le débat tourne autour de l'''affirmation clé'' : « Si l'on suppose que P est prouvable dans PM, alors on devrait abandonner la « traduction » de P donnée par la phrase « P n'est pas prouvable ». ».
== Références ==
|