いや、1=2の部分はxを含んでないから空集合に論理的に依存してない
だから∀x∈0を外して1=2とできる