1. PRIMITIVE IDEAS AND PROPOSITIONS.
Project Gutenberg EPUB3 edition
Whitehead, Alfred North and Russell, Bertrand
The use of the above axioms will generally be tacit. It is only through them and the axioms of *9 that the theory of types explained in the Introduction becomes relevant, and any view of logic which justifies these axioms justifies such subsequent reasoning as employs the theory of types.
This completes the list of primitive propositions required for the theory of deduction as applied to elementary propositions.