Principia Mathematica
He observed that this definition made it possible to define the types of "Principia Mathematica" as sets. "Principia Mathematica" had taken types, and hence relations of all arities, as primitive.