En mathématiques, les vérités ne sont pas toutes démontrables. L'ensemble des énoncés non démontrables est plus vaste que l'ensemble des énoncés vrais. Cette proposition est d'ailleurs démontré depuis 1931, grâce à Kurt Gödel.