Raisonnement par l'absurde

Toute démonstration en logique classique peut être transformée en une démonstration par l'absurde.

Sujet abordé 30000 fois ici et ailleurs, la preuve de l'infinitude des nombres premiers n'est pas une preuve par l'absurde. La preuve montre que pour toute famille finie de nombres premiers, il existe un nombre premier ne lui appartenant pas.

C'est un sujet spécialisé, il faudrait que tu précises ta question, qui formulée comme telle n'a pas de réponse.

Tu as plusieurs logiques, dont deux vieilles et célèbres qui sont :

La LC (logique classique)

La LI (logique intuitionniste)

On obtient la LC en ajoutant l'axiome du RPA à la LI (ie $\forall X: [((X\to Tout) \to Tout)\to X]$)

Toutes les maths se font en LC, même si on étudie la LI en tant qu'objet à part et fait parfois quelques raeensement en disant "tiens ce passage-là est de la pure LI"

Mais c'est assez local (par exemple même $\{0;1\}$ n'est pas bien ordonnable si on ne met pas un peu de logique classique.) La LI pure est très spéciale.

La seule chose qu'on peut te dire c'est que quand M.Dupont te présente une preuve avec un RPA, tu peux lui répondre "tu es en logique classique, mais serait-tu capable de le prouver en LI?". Et là, selon le truc que c'est tu le mettras plus ou moins en difficulté.

Concernant les nombres entiers, c'est un assez mauvais exemple, car tout les énoncés sans quantificateurs a la valeur vrai ou la valeur faux et du coup les EVENTUELS survenues d'impuissance de l'intuitionniste ne se feront que sur les "ou" et des $\exists$ "en dur" qui ne sont pas tellement "intéressants", du moins d'un point de vue non spécialisé.

Mais tout ce qui est écrit avec "et" et quelque soit qui est prouvable classiquement l'est intuitionnistiquement. Cela provient de ce que les théorèmes suivants sont intuitionistes:

[non (non =>B ] => (non (non (A=>B))) => (A=>B)

$\forall R $ si $\forall a: [ (non(non(R(a)))) \Rightarrow R(a) ] $ alors $non (non (\forall xR(x))) =>(\forall xR(x))$