[nom] Caractère de ce qui n'est pas prouvable, impossibilité de prouver. Exemple: `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.`