公理模式：∀xA → A(a/x)，A(a/x)是把A中所有x的自由出现替代为某个项a的结果。作为一个推理规则:从 ⊢ ∀xA 推出 ⊢ A(a/x)，A(a/x)同上。
蒯因.威拉德·冯·奥曼·蒯因认为全称实例化与存在概括是同一原理的两面。当我们说：“对于所有x，x=x”蕴含“苏格拉底=苏格拉底”这一实例，我们也同时可以说，全称实例“苏格拉底=苏格拉底”的否定“苏格拉底≠苏格拉底”蕴含：“存在一些x，x不等于x”这一存在概括。如上两个推论规则所体现的原理连接着量词和与这