predicativity

In fact, they are intertwined with his dauntingly complex and far-reaching ideas about predicativity, the semantic paradoxes, and the ramified vs. the simple theory of types—all of which are fascinating, and some of which involve real technical achievements.