A Word On Notation and The Axiom of Choice
As a language with infinitely long formulae is being presented, it is not possible to write expressions down as they should be written. To get around this problem a number of notational conveniences, which, strictly speaking, are not part of the formal language, are used. is used to point out an expression that is infinitely long. Where it is unclear, the length of the sequence is noted afterwards. Where this notation becomes ambiguous or confusing, suffixes such as are used to indicate an infinite disjunction over a set of formulae of cardinality . The same notation may be applied to quantifiers for example . This is meant to represent an infinite sequence of quantifiers for each where .
All usage of suffixes and are not part of formal infinitary languages. The axiom of choice is assumed (as is often done when discussing infinitary logic) as this is necessary to have sensible distributivity laws.
Read more about this topic: Infinitary Logic
Famous quotes containing the words word, axiom and/or choice:
“What drivel it all is!... A string of words called religion. Another string of words called philosophy. Half a dozen other strings called political ideals. And all the words either ambiguous or meaningless. And people getting so excited about them they’ll murder their neighbours for using a word they don’t happen to like. A word that probably doesn’t mean as much as a good belch. Just a noise without even the excuse of gas on the stomach.”
—Aldous Huxley (1894–1963)
“It’s an old axiom of mine: marry your enemies and behead your friends.”
—Robert N. Lee. Rowland V. Lee. King Edward IV (Ian Hunter)
“Every day care center, whether it knows it or not, is a school. The choice is never between custodial care and education. The choice is between unplanned and planned education, between conscious and unconscious education, between bad education and good education.”
—James L. Hymes, Jr. (20th century)