دستور هروینیدن همچنین شناخته شده با: قاعده تعمیم برابر انگلیک (انگلیسی): Generalization دیسهای ⊢ 𝜙────∴∀α 𝜙α⊢ 𝜙────∴∀α 𝜙α