I'm reading this page https://plato.stanford.edu/entries/type-theory/ where the words predicative and impredicative are used in this context:
Notice that for defining the predicate R, we have used an impredicative existential quantification on predicates. It can be shown that the predicative version of Frege’s system is consistent
What does predicative mean?
Edit: I actually found the terms expanded on later in the page
In order to further motivate this hierarchy, here is one example due to Russell. If we say Napoleon was Corsican. we do not refer in this sentence to any assemblage of properties. The property “to be Corsican” is said to be predicative. If we say on the other hand Napoleon had all the qualities of a great general we are referring to a totality of qualities. The property “to have all qualities of a great general” is said to be impredicative.