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:
“I have been reporting club meetings for four years and I am tired of hearing reviews of the books I was brought up on. I am tired of amateur performances at occasions announced to be for purposes either of enjoyment or improvement. I am tired of suffering under the pretense of acquiring culture. I am tired of hearing the word “culture” used so wantonly. I am tired of essays that let no guilty author escape quotation.”
—Josephine Woodward, U.S. author. As quoted in Everyone Was Brave, ch. 3, by William L. O’Neill (1969)
“It is an axiom in political science that unless a people are educated and enlightened it is idle to expect the continuance of civil liberty or the capacity for self-government.”
—Texas Declaration of Independence (March 2, 1836)
“Romanticism is found precisely neither in the choice of subjects nor in exact truth, but in a way of feeling.”
—Charles Baudelaire (1821–1867)