Che cosa significa che un teorema è dimostrato per assurdo?

Riassunto

Se da un’affermazione A segue una contraddizione, allora chiaramente A non può esser corretta, cioè vale la negazione di A, che indichiamo come al solito con ¬A. D’altra parte, se da ¬A segue una contraddizione, che cosa è lecito dedurre? In questo caso dovremmo limitarci a dire: se da ¬A segue una contraddizione, dobbiamo escludere ¬A; concludiamo quindi che vale la negazione di ¬A, cioè ¬¬A.