"universal quantifier" Deutsche bedeutung