Another Alternative
Another axiom which implies the axiom of pairing in the presence of the axiom of empty set is
- .
Using {} for A and x for B, we get {x} for C. Then use {x} for A and y for B, getting {x,y} for C. One may continue in this fashion to build up any finite set. And this could be used to generate all hereditarily finite sets without using the axiom of union.
Read more about this topic: Axiom Of Pairing
Famous quotes containing the word alternative:
“No alternative to the
one-man path.”
—Denise Levertov (b. 1923)
“If English is spoken in heaven ... God undoubtedly employs Cranmer as his speechwriter. The angels of the lesser ministries probably use the language of the New English Bible and the Alternative Service Book for internal memos.”
—Charles, Prince Of Wales (b. 1948)