Universal generalization (source code)

= Universal generalization
{wiki=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.