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

Traductions
Cet article est issu de Wiktionary. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.