Accueil > Dictionnaire > Définitions du mot « non-prouvabilité »
Non-prouvabilité
[nɔ̃pruvabilite]
Définitions de « non-prouvabilité »
Non-prouvabilité - Nom commun
-
Caractère d'une assertion ou d'une proposition qui ne peut être démontrée comme vraie ou fausse, en particulier dans le contexte mathématique.
Bien au-delà de l’obtention de résultats de non-prouvabilité, le bénéfice principal de l’étude des modèles ZFC est de guider l’intuition et d’avancer dans la perception des concepts ensemblistes.
— Patrick Dehornoy, La Théorie des Ensembles