as to discard impredicativity. The 'levels' here correspond to the number of layers of dependency in a term definition.

Russell's paradox is a famous example of an impredicative construction--namely the set of all sets that do not contain themselves. The paradox is that such a set cannot exist: If it were to exist, the question could be asked whether it contains itself or not--if it does then by definition it should