m de omni"）是从关于一类个体的每个成员的真理到关于这个类的特定个体的真理的推理。它一般作为全称量词的量化规则给出，但也可以作为一个公理。它是量化理论的基本原理之一。例子："所有的狗都是动物。Fido是狗。所以Fido是动物。"作为一个公理模式：∀xA → A(a/x)，A(a/x)是把A中所有x的自由出现替代为某个项a的结果。作为一个推理规则:从 ⊢ ∀xA 推出 ⊢ A(a/x)，A(a/x)同上。
蒯因.威拉德·冯·奥曼·蒯因认为全称实例化与存在概括