Bonsoir,
j'ai appris que certains mathématiciens considéraient que les raisonnements par l'absurde n'étaient pas rigoureux, parce que l'on a montré que la proposition n'était pas fausse, mais cela impliquerait qu'elle puise être soit vraie, soit indécidable ou quelque chose comme ca...
Ma question est la suivante:
comment montre-t-on alors certaines propriétés sans faire un raisonnement par l'absurde?
Par exemple, pour montrer que est un irrationnel...? et plein d'autres démonstrations pour lesquelles on est passé par l'absurde...
Merci d'avance,
Mystérieux1
-----