si tu réussis à démontrer 1=2 tu peux démontrer tout ce que tu veux (y compris son contraire ^^), donc ça ne pose pas de problème de dire "quel que soit x, x=1+1" ou des trucs du genre...

d'ailleurs on ne sait pas si on peut démontrer 1=2 avec les axiomes habituels, mais on espère pas