まあもう少し正確に言うと
1=2が言えたことにならないって結論になるから
矛盾を導き出せてないってことになるってことだろうがね。