User blog comment:Alemagno12/Rayo and FOST/@comment-1605058-20160331134819/@comment-25601061-20160331212116

But is there z that satisfies  ¬∃z(z∈2∧¬z=0)?