non-prouvabilité

Français

Étymologie

Composé de non et de prouvabilité.

Nom commun

Invariable
non-prouvabilité \nɔ̃.pʁu.va.bi.li.te\

non-prouvabilité \nɔ̃.pʁu.va.bi.li.te\ féminin, au singulier uniquement

1. (Mathématiques) Caractère de ce qui n'est pas prouvable, impossibilité de prouver.
   • 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, C&M, 2017, page 362)

Synonymes

• indémontrabilité