一种公理版本。还有，以一常量符号表示空集的话，借此可以把其他 ZF 公理重写成更简洁的版本；那么无穷公理也会用到这个符号而不要求它是空的，尽管需要空集公理来表明它实际上是空的。而且，在那些不包含无穷集合的集合论中，空集公理仍是需要的。就是说，使用分离公理模式，声称任何集合存在的任何公理都蕴涵空集公理。