 Universal generalization

Universal generalization is a principle in formal logic and mathematics that allows one to deduce a universally quantified statement from a particular case or a set of cases.