 The formulation of the axiom of separation was made explicit: “for each formula \(\phi\) of the first-order language with equality and membership, \(\{x \in A \mid \phi \}\) exists”. Zermelo’s original formulation referred more vaguely to properties in general (and Zermelo himself seems to have objected to the modern formulation as too restrictive).