Bonjour,

Je vous sollicite pour obtenir quelques éclaircissements concernant
les rapports entre la logique et l'activité des mathématiciens,
n'étant pas moi-même mathématicien.

D'après la logique classique, d'une contradiction il est possible de
déduire n'importe quoi.

Cette propriété est-elle utilisée dans certaines démonstrations mathématiques
en dehors du champs de la logique ou n'est-elle qu'un théorème
logique sans application pratique?

Mon idée est que systématiquement, lorsqu'un mathématicien se trouve
face à une contradiction, il est amené uniquement à revoir ses hypothèses
pour en éliminer au moins une, mais il ne se sert pas de la contradiction
pour déduire une quelconque proposition ex nihilo, étant acquis que
toute déduction provenant d'un ensemble de prémisses incohérent
est inutile.

Me confirmez-vous cela?

Sinon avez-vous un exemple de démonstration simple dans laquelle un tel
pas de raisonnement serait effectué?

Je vous remercie par avance pour votre aide.

Cyril Lalande