做：定义了 formula_5 之后，它可以简写为就是说：就是说：定义了 formula_8 之后，它可以简写为：就是的说：在这个公理中，谓词 "P" 被替代为可量化在其上的类 "A"。
在二阶逻辑中.在二阶逻辑中，我们可以在谓词上作量化，而概括公理模式成为简单的公理。这使用了同前面章节 NBG 公理一样的技巧，把谓词替代为一个类并接着量化于其上。
在蒯因的新基础中.在蒯因所开创的新基础集合论中，给定谓词的概括公理采用无限制形式，但是