Leon Chwistek and Frank P. Ramsey proposed this as a simplification of the complicated and clumsy ramified theory of types specified in the "Principia Mathematica" by Alfred North Whitehead and Bertrand Russell.