量化规则给出，但也可以作为一个公理。它是量化理论的基本原理之一。例子："所有的狗都是动物。Fido是狗。所以Fido是动物。"作为一个公理模式：∀xA → A(a/x)，A(a/x)是把A中所有x的自由出现替代为某个项a的结果。作为一个推理规则:从 ⊢ ∀xA 推出 ⊢ A(a/x)，A(a/x)同上。
蒯因.威拉德·冯·奥曼·蒯因认为全称实例化与存在概括是同一原理的两面。当我们说：“对于所有x，x=x”蕴含“苏格拉底=苏格拉底”这一实例，我们也同时可以说，全称实