non-prouvabilité
Apparence
Étymologie
[modifier le wikicode]- Composé de non et de prouvabilité.
Nom commun
[modifier le wikicode]Invariable |
---|
non-prouvabilité \nɔ̃.pʁu.va.bi.li.te\ |
non-prouvabilité \nɔ̃.pʁu.va.bi.li.te\ féminin, au singulier uniquement
- (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)