The problem arose, we recall, because Frege sought to reduce all forms of abstraction to a single form. When two concepts are coextensive, let us say that they have the same extension. This yields Frege’s infamous “Basic Law V,” which in contemporary notation can be written as As Russell discovered, this “law” gives rise to the paradox now bearing his name