Formal Statement
In the formal language of the Zermelo–Fraenkel axioms, the axiom reads:
or in words:
- Given any set A and any set B, there is a set C such that, given any set D, D is a member of C if and only if D is equal to A or D is equal to B.
or in simpler words:
- Given two sets, there is a set whose members are exactly the two given sets.
Read more about this topic: Axiom Of Pairing
Famous quotes containing the words formal and/or statement:
“On every formal visit a child ought to be of the party, by way of provision for discourse.”
—Jane Austen (1775–1817)
“He that writes to himself writes to an eternal public. That statement only is fit to be made public, which you have come at in attempting to satisfy your own curiosity.”
—Ralph Waldo Emerson (1803–1882)