« Quiconque démontre per impossibile prouve une conclusion fausse à l'aide d'un syllogisme, la chose en question étant démontrée ex hypothesi quand la supposition de la proposition contradictoire [à la bonne] débouche sur une conclusion impossible. Par exemple, on prouve que la diagonale du carré est incommensurable avec les côtés en montrant que si on la suppose commensurable, l'impair finit par être égal au pair. Le raisonnement aboutit à sa conclusion lorsque l'impair est démontré être égal au pair, ce qui prouve ex hypothesi que la diagonale est incommensurable, puisque la proposition contradictoire [à la bonne] engendre alors un résultat impossible. Car nous avons vu qu'atteindre une conclusion logique per impossibile revient à prouver, à partir de la supposition initiale [contradictoire à celle qui devrait être retenue en réalité], une conclusion qui est impossible » 

(Aristote, Analytiques Premiers: I xxiii, 41a 24-34).