Formal Statement
In the formal language of the Zermelo–Fraenkel axioms, the axiom reads:
In words, there is a set I (the set which is postulated to be infinite), such that the empty set is in I and such that whenever any x is a member of I, the set formed by taking the union of x with its singleton {x} is also a member of I. Such a set is sometimes called an inductive set.
Read more about this topic: Inductive Set (axiom Of Infinity)
Famous quotes containing the words formal and/or statement:
“The formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)
“A sentence is made up of words, a statement is made in words.... Statements are made, words or sentences are used.”
—J.L. (John Langshaw)