1. MathématiquesCaractè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.