ZFCだったら∃ｘ(ｘ＝ｘ)が純粋な論理的帰結であろうとなかろうと
無限公理Infと分出公理から空集合の存在は示せるので空集合公理は冗長。
集合論の入門書ではZF(C)-Infなども考えるから入れているんだと思う。
それでも∃ｘ(ｘ＝ｘ)がいえれば不要な訳で
∀xA(x) -> ∃xA(x) が論理的帰結になる自然演繹やヒルベルト流体系の入門書とは
異なる立場に立っているというか、
少なくとも∃ｘ(ｘ＝ｘ)の身分に関して中立であろうとしているといえると思う。