 It is widely thought that the system of PM offers a very different approach to the solution of the paradoxes than that of axiomatic set theory as formulated in the Zermelo-Fraenkel system ZF. While the theory of types is thought of as a desperate attempt to save the logicist program by artifically introducing types in order to resolve the paradoxes, axiomatic set theory seems to simply postulate sets as entities and adopts axioms in a first order language with “\(\in\)” for membership as its one non-logical symbol. This view has been forcefully expressed by Quine: