模式，注意集合 "B" 必须是 "A" 的子集。所以，这个公理模式实际上说的是，给定集合 "A" 和谓词 "P"，我们可以找到 "A" 的子集 "B"，它的成员正是那些满足 "P" 的 "A" 的成员。通过外延公理可知这个集合是唯一的。我们通常使用集合建构式符号把它指示为 {"x"∈"A" : "P"("x")}。所以这个公理的本质是：分类公理模式是与 ZFC 集合论有关的公理集合论系统的特征，但在根本上不同的可替代的集合论系统中通常不出现。例如，新基础集合论和正集合论使用对朴素集合论的概括公理的不同的