Editing Infinitary logic (section)

==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 such formulae down explicitly. To get around this problem a number of notational conveniences, which, strictly speaking, are not part of the formal language, are used. <math>\cdots</math> 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 <math>\bigvee_{\gamma < \delta}{A_{\gamma}}</math> are used to indicate an infinite [[logical disjunction|disjunction]] over a set of formulae of [[cardinality]] <math>\delta</math>. The same notation may be applied to quantifiers, for example <math>\forall_{\gamma < \delta}{V_{\gamma}:}</math>. This is meant to represent an infinite sequence of quantifiers: a quantifier for each <math>V_{\gamma}</math> where <math>\gamma < \delta</math>.

All usage of suffixes and <math>\cdots</math> 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.