impredicative

Непредикативный, импредикабельный — impredicative definition — impredicative extension