For Frege’s revised strategy to work, however, we need a purely logical way to handle equivalence classes. Frege sought to achieve this by means of an abstraction principle for classes, namely his “Basic Law V,” which states that two concepts have the same extension just in case they are coextensive. Let us write {x | Fx} for the extension of the concept F. The law is then formalized as follows:15
