∅∪𝒫{}✅

#zermelo axioms #empty set axiom #axiom of union #power set axiom #set construction #mathematical logic