Editing Collectively exhaustive events (section)

== History ==
The term "exhaustive" has been used in the literature since at least 1914. Here are a few examples:

The following appears as a footnote on page 23 of Couturat's text, ''The Algebra of Logic'' (1914):<ref>{{cite book|author=Couturat, Louis |translator=Lydia Gillingham Robinson |date= 1914|title= The Algebra of Logic|publisher= The Open Court Publishing Company|location= Chicago and London}}</ref>
:"As Mrs. LADD·FRANKLlN has truly remarked (BALDWIN, Dictionary of Philosophy and Psychology, article "Laws of Thought"<ref>{{cite news|author=Baldwin|date=1914|title=Laws of Thought|page=23|work=Dictionary of Philosophy and Psychology}}</ref>), the principle of contradiction is not sufficient to define contradictories; the principle of excluded middle must be added which equally deserves the name of principle of contradiction. This is why Mrs. LADD-FRANKLIN proposes to call them respectively the principle of exclusion and the ''principle of exhaustion'', inasmuch as, according to the first, two contradictory terms are exclusive (the one of the other); and, according to the second, they are ''exhaustive (of the universe of discourse)''." (italics added for emphasis)

In [[Stephen Kleene]]'s discussion of [[cardinal number]]s, in ''Introduction to Metamathematics'' (1952), he uses the term "mutually exclusive" together with "exhaustive":<ref>{{cite book|author=Kleene, Stephen C. |date=1952|edition= 6th edition 1971|title=Introduction to Metamathematics|publisher= North-Holland Publishing Company|location= Amsterdam, NY|isbn=0-7204-2103-9}}</ref>

:"Hence, for any two cardinals M and N, the three relationships M < N, M = N and M > N are 'mutually exclusive', i.e. not more than one of them can hold. ¶ It does not appear till an advanced stage of the theory . . . whether they are '' 'exhaustive' '', i.e. whether at least one of the three must hold". (italics added for emphasis, Kleene 1952:11; original has double bars over the symbols M and N).