1+1=2 n'est pas un axiome hein, c'est démontrable à partir d'autre axiome encore