>>747
ありがとうございます。
>具体的には〜P(x)を仮定すると∃x∀y(P(x)→P(y)) が導き出され、矛盾する。
ここがよくわかんないんのですが、もう少し詳しく説明してもらえますか?