Dann geht es ja offenbar nur um Kommutativität und
Assoziativität von Λ.
\( \forall x[P(x)] \wedge \forall y[Q(y)] \)
heißt doch
etwa für aufzählbare x,y-Werte
P(x1) ∧ P(x2) ∧ P(x3) ∧ ... ∧ ..... Q(y1) ∧Q(y2) ∧ .... ∧ .....
und bei \( \forall x, y: P(x) \wedge Q(y) \)
ist es nur eine andere Reihenfolge.