分类公理 在公理化集合论和使用它的逻辑数學和计算机科学分支中分类公理模式或分离公理模式或受限概括公理模式是 ZermeloFraenkel 集合论中的一个公理模式它也叫做概括公理模式尽管这个术语也用于下面讨论的无限制概括 假定 P 是不含符号 B 的一个單变量谓词在 ZermeloFraenkel 公理的形式语言中这个公理模式读做  A   B   x  x  B  x  A  P  x  displaystyle forall Aexists Bforall xxin Biff xin Aland Px 换句话说 给定任何集合 A有着一个集合 B使得给定任何集合 x有 x 是 B 的成员当且仅当 x 是 A 的成员并且 P 对于 x 成立注意对于所有这种谓词 P 都有一个公理所以这是个公理模式 要理解这个公理模式注意集合 B 必须是 A 的子集所以这个公理模式实际上说的是给定集合 A 和谓词 P我们可以找到 A 的子集 B它的成员正是那些满足 P 的 A 的成员通过外延公理可知这个集合是唯一的我们通常使用集合建構式符号把它指示为 xA  Px所以这个公理的本质是 一个通过一个谓词定义的集合的任何子类自身是一个集合 分类公理模式是与 ZFC 集合论有关的公理集合論系統的特征但在根本上不同的可替代的集合论系统中通常不出现例如新基礎集合論和正集合论使用对朴素集合论的概括公理的不同的限制Vopenka 的可替代的集合论有一个特殊要点它允许集合的真子类的存在這樣的真類叫做半集合即使在与 ZFC 有关的系统中这个公理模式有时也限制于带有有界量词英语Bounded quantifier的公式比如在KPU中