La vérité en mathématiques ne renvoie-t-elle qu'à elle-même ?

• En physique appliquée, en biologie, l'expérimentation joue un rôle essentiel dans la détermination de la justesse d'une théorie. • En mathématiques, les preuves logiques découlent des éléments mêmes qui constituent un système donné. Ainsi que l'avait déjà dit Aristote, on ne peut pas tout démontrer, il faut à un moment donné admettre pour mieux avancer. Ainsi, comme ce n'est qu'au moyen des mathématiques que l'on démontre les mathématiques ; il faut donc : - tenir pour vraies certaines propositions ; - admettre que l'esprit possède sa propre capacité à construire des raisonnements. Ce qui veut dire que lorsque la logique elle-même cherche à fonder les mathématiques, elle est forcée d'admettre qu'elle autoproduit des règles, des principes, qui se valident les uns les autres.