Library

Principia mathematica, vol. 1 (of 3)

*84. CLASSES OF MUTUALLY EXCLUSIVE CLASSES.

Project Gutenberg EPUB3 edition Whitehead, Alfred North and Russell, Bertrand
Open passage
This proposition is important, since it enables us to apply the propositions of *81 to when .
Open passage
Note. is the class of all unit classes whose members are classes; this results from *65·02. Thus "" is equivalent to " consists of one class."
Open passage
The following propositions are concerned with selections from a . In virtue of *84·14, the propositions of *81 which have the hypothesis become applicable when is and is a . Thus has many important properties when is a which it does not have in the general case.

Source attribution

Principia mathematica, vol. 1 (of 3), Project Gutenberg eBook #78050

*83. SELECTIONS FROM CLASSES OF CLASSES. *85. MISCELLANEOUS PROPOSITIONS.