The Independence of Axioms of B. Russell's Logical System of Axioms

By using the method of indeterminate coefficients, we can examine the independence of each axiom of a system of axioms. In this paper, we treat the Russell's classical logical system of axioms. We examine whether each axiom is independent or not from the other axioms and show the results.