Un mathématicien, c'est bien connu, ne se trompe jamais … pour autant qu'il reste constamment dans la théorie étudiée et en respecte les règles.
Schématiquement, tout raisonnement mathématique peut se ramener à un simple syllogisme faisant intervenir deux propositions, à savoir l'hypothèse H, ensemble des informations que l'on suppose connues, et la thèse T que l'on cherche à démontrer : si l'on suppose vraies l'hypothèse H et l'implication de la thèse connaissant l'hypothèse (qui est notée ), alors la thèse T est également vraie.
