| 分离公理模式 axiom scheme of separation 亦称“子集公理模式”。策梅罗公理系统中的一条公理模式。它肯定：“对于任何一元关系φ，集合a中所有满足关系φ的元素x也构成一个集。”对于一个确定的集合a，由于每一个φ都确定a的一个集。由于φ的无限性，它相当于无限多条公理，故称公理模式。分离公理模式能限制过大“异常集”的形成，例如一切集合的全体就不能构成一个集，从而使康托尔、罗素等悖论都不能在策梅罗系统中产生。在ZFC系统中，它被更强的置换公理模式所取代，成为该公理系统中的一条定理模式。 |