"propositional set" Deutsche bedeutung