Nótese que la regla de generalización universal es análoga a la regla de Necesitación de la lógica modal.