"existential quantifier" Deutsche bedeutung