 That type theory and Russell’s work had a central place not only in Hilbert’s Göttingen is further attested to by the work of Chwistek and Ramsey, who attempted a revision of Principia Mathematica (PM) from opposite stand-points. Both authors rejected ramified type theory (RTT, in short) and the axiom of reducibility. Their work can be considered a typical outcome of the process that was to yield streamlined versions of logical formalisms. Insofar as paradoxes are concerned, the main problem is to show that RTT is not required for solving the paradoxes.