The answer: otherwise the existential quantifier wouldn't work (since you can transform forall x into there does not exist a not x). When you use the existential quantifier, it makes sense. I'm not sure how this is relevant to python, this question is purely in the domain of first order predicate logic.