Dire que x=y contient une contradiction, car il faut d'une part considérer x et y comme deux choses égales et d'autre part être capable de les penser comme différentes pour substituer l'une à l'autre.