je ne sais pas trop si cela peut t'aider mais il me semble qu'en
math, en effet, lorsqu'il y a contradiction, on en deduit que
les hypotheses sont mauvaises.
A priori, lorsque le probleme est bien pose, il n'y a pas de propositions
a rajouter ex nihilo car ce qui est important c'est le nombre
d'hypotheses.
Lorsque toutes les hypotheses sont reunies, c'est le point de depart
du probleme, et c'est d'elles seules que vont venir les
contradictions, d'ou la modification de celles-ci pour arriver
au resultat.