Toute vérité est-elle vérifiable ?
Non, certaines propositions acceptées comme vraies son invérifiables
Les propositions de départ en mathématiques et logique sont invérifiables
Pascal, dans De l'esprit de géométrie, défend l'idée que l'on ne peut pas élaborer des propositions qui soient absolument vérifiées car en mathématiques et en logique, il faut remonter aux propositions précédentes pour vérifier que la déduction est bien logique. Or, on ne peut pas remonter ainsi à l'infini. C'est pourquoi les déductions mathématiques reposent notamment sur des axiomes qui sont des elles semblent évidentes propositions acceptées sont communément acceptées, mais ne sont donc pas vérifiées.
« Certainement cette méthode serait belle, mais elle est absolument impossible: car il est évident que les premiers termes qu’on voudrait définir, en supposeraient de précédents pour servir à leur explication, et que de même les premières propositions qu’on voudrait prouver en supposeraient d’autres qui les précédassent; et ainsi il est clair qu’on n’arriverait jamais aux premières. »
Pascal, De l'esprit géométrie