Generalización Universal

Una regla de inferencia formal en lógica de predicados que permite derivar una fórmula universal ∀x φ(x) cuando se ha derivado φ(x) bajo la condición de que x es arbitrario y no depende de ninguna suposición sobre ese individuo en particular.