Achso ja kann gut sein :P
Oder vielleicht meint man es auch so:
∀v ∈ X(¬(∃w∈X ∃x∈X ∀y∈X ∃z∈X: (P(w) ∧ P(x) ∧ Q(y) ∧ ¬Q(z) ∧ ¬P(w)))
∀v ∈ X(¬(∃w∈X ∃x∈X ∀y∈X ∃z∈X: (P(w) ∧ ¬P(w) ∧ P(x) ∧ Q(y) ∧ ¬Q(z) ))
Dann ist nun P(w) ∧ ¬P(w) falsch, was dazu führt, dass (P(w) ∧ ¬P(w) ∧ P(x) ∧ Q(y) ∧ ¬Q(z)) falsch ist
Dann hat man ja ∀v ∈ X(¬(∀w∈X ∀x∈X ∃y∈X ∀z∈X: (Aussage Falsch)))
und durch die Negation am Anfang wieder
∀v ∈ X(∃w∈X ∃x∈X ∀y∈X ∃z∈X: (Aussage wahr)
Und dann ist es halt egal was für v,w,x,y,z wählt
Die Aussage ist immer wahr
Vlt meint man es so :)