Russell's paradox
Boolos compares S at some length to a variant of the system of Frege’s "Grundgesetze", in which Hume's principle, taken as an axiom, replaces Frege’s Basic Law V, an unrestricted comprehension axiom which made Frege's system inconsistent; see Russell's paradox.