Russell wrote to Frege with news of his paradox on June 16, 1902. (For the relevant correspondence, see Russell (1902) and Frege (1902) in van Heijenoort (1967).) The paradox was of significance to Frege’s logical work since, in effect, it showed that the axioms Frege was using to formalize his logic were inconsistent. Specifically, Frege’s Axiom V requires that an expression such as \(\phi(x)\) be considered both a function of the argument \(x\) and a function of the argument \(\phi\). (More pr