 In the Appendix to Gg II, Frege also explains how Basic Law V implies the existence of the paradoxical Russell set. We can represent his reasoning as follows. From the Law of Extensions (which was derived from Basic Law V above), one can establish a Naive Comprehension Axiom for Extensions in three simple steps. First we instantiate the Law of Extensions to the free variable \(F\), to yield: