 Frege was thus one of the first logicians to recognize the importance of a hierarchy of logical levels. His discovery was virtually simultaneous with Peirce’s, and arrived at entirely independently, in pursuit of different goals. Frege’s discovery was to have the greater impact. It formed the basis for Russell’s theory of types (and also, decades later, influenced Carnap, who studied logic with Frege).