>>663
いや定理Bを∀x. ∃y. x=yとか言っちゃう人には一生無理だから
潔く諦めよう