>>572
そういわれても
Ａ+1＝1とかから始まって
Ａ＝0.Ｂ＝0：≡.Ａ+Ｂ＝0とか２０個以上あるんですが・・・

>>573
自分の方でやってるのには、そういう¬∃xみたいな記号でてこないです