{…}∀∃⇔

#axiomatic set theory #ZFC #first-order logic #quantifiers #foundational mathematics #mathematical logic