公理贡献自冯·诺伊曼，并一下实现了分离公理、替代公理和全局选择公理。如果需要的话，它可以被弱化为“若类函数的定义域被包含在一个集合中，则其值域亦为集合”；这将去除选择公理（如果需要可以把它替代为更加有用的局部形式的选择公理）。完全的大小限制公理蕴涵了全局选择公理，因为序数的类不是集合，所以有从序数到全集的双射。
与类概括公理（模式）等价的一组公理.我们可以用几个公理来取代 NBG 的类概括公理模式。我们将用以下的公理作为例子，但不保证它跟正规的方法一样。这个公理给予我们某