non-prouvabilité
Français[modifier le wikicode]
É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)