>>832
∃(x+1)とか言ってるやつにこんなメタな定理が理解できるわけないだろ