>>78
N を自然数全体の集合、E = ∪[n∈N]E(n) として

∀n∈N ∃k∈N (k∈E(n) ∧ ¬k∈N(n)) ⇒ ∃k∈N (k∈E ∧ ¬k∈N)

と言ってるわけだが、ここがおかしい