Généralisation Universelle

Règle d'inférence formelle en logique du premier ordre qui permet de déduire une formule universelle ∀x φ(x) lorsqu'on a dérivé φ(x) dans les conditions où x est arbitraire et ne dépend d'aucune hypothèse portant sur cet individu particulier.