Gesetz der doppelten Negation
mathematischer Satz