Lectures on the Philosophy of Mathematics

by Joel David Hamkins

Frege’s foundational system was proved inconsistent by the Russell paradox (discussed in chapter 8), and Russell’s system is viewed as making nonlogical existence assertions with the axiom of infinity and the axiom of choice.