 Even if Frege had not been assuming a logically perfect language, and had instead been using a free logic, Basic Law V would still have committed him to the existence of the class of all Φs, whatever the defining formula Φ might be. The proof proceeds as follows. 