空集合の公理
外延性の公理により、公理で主張される集合は一意に存在することがわかる。その集合を「空集合」と呼び、通常は { } や ∅ の記号で表わす。空集合を表す定数記号を予め用意してZFを記述することもある。その場合、無限公理に現れる ∅ は単に何らかの集合を表す記号であり、空集合の公理によってはじめてそれが空であることが保証される。
この公理の主張自体は明白なものと考えられているが、一階述語論理と置換公理から導くことが可能なため、公理には加えないこともある。