 Both Fregean and post-Fregean logicism make essential use of second-order quantification. Frege defined the various objects of pure mathematics as extensions of concepts, and his famous Basic Law V stated that two concepts \(F\) and \(G\) have the same extension just in case they are co-extensive: