*53. MISCELLANEOUS PROPOSITIONS INVOLVING UNIT CLASSES.
Project Gutenberg EPUB3 edition
Whitehead, Alfred North and Russell, Bertrand
Dem.
*53·181.
*53·2.
This proposition requires, for significance, that should be a class of classes. It is used in *88·47, in the number on the existence of selections and the multiplication axiom.
Dem.
*53·21.
This proposition requires, for significance, that should be a class of relations.
*53·22.
Dem.
*53·221.
Dem.
*53·222.
Dem.
*53·23.
Dem.
*53·231.
Dem.
*53·24.
Dem.
In the enunciation and the last line of the proof of the above proposition, we write "" rather than "," because this must be of the type next above that of the in "."
The following proposition is used in the theory of selections (*83·731).
*53·25.
Dem.
*53·3.
Dem.
The above proposition is very frequently used.
*53·301.
Dem.
*53·302.
The above proposition is used in the cardinal theory of exponentiation (*116·71).
*53·31.
The above proposition is one of which the subsequent use is frequent.
Dem.
*53·32.
Dem.
*53·33.
*53·34.
*53·35.
Dem.
The above proposition may also be proved as follows: