Long before Russell discovered the paradox, he tried to simplify mathematics into logic when he wrote Principles of Mathematics. The plan met with difficulties because of the discovery of paradox. After he found a way to eliminate the paradox, he began to realize his plan concretely, which is the Principles of Mathematics co-authored by him and Whitehead.
Because the original purpose of Russell and Whitehead's Principles of Mathematics is to try to establish mathematics on the basis of logic, several undefined concepts and some logical axioms are put forward at the beginning of the book, from which logical rules and mathematical qualitative are deduced.
Undefined concepts include basic proposition, propositional function, assertion, or, no; A proposition here refers to a statement stating a fact or describing a relationship, such as "Zhang San is a person" and "Apple is red". These concepts can define the most important concept "implication" in logic.