Em matemática e lógica, impredicatividade é a propriedade de uma definição autorreferenciável. Mais precisamente, a definição é chamada impredicativo se ela chamar (mencionar ou quantificar) o próprio conjunto que já está sendo definido, ou (mais comumente) outro conjunto que contenha o conjunto que está sendo definido.

O Paradoxo de Russell é um famoso exemplo de construção de um impredicativo, ou seja, o conjunto de todos os conjuntos que não contêm eles mesmos. O paradoxo acontece se o tal conjunto contém ele próprio ou não — se ele contiver então, por definição, ele não deveria conter a si mesmo, e se ele não contiver, então, por definição, ele deveria conter a si mesmo.

O maior limite inferior de um conjunto X, glb(X), também tem uma definição impredicativa; y = glb(X) se e somente se para todos os elementos x de X, y for menor ou igual a x, e qualquer z menor ou igual a todos os elementos de X é menor ou igual a y. Apesar disso, essa definição também quantifica o conjunto (potencialmente infinito, dependendo da ordem em questão) cujos elementos são o limites inferior de X, sendo um deles o próprio limite inferior. O predicativismo de Hence rejeitaria essa definição.

A noção oposta de impredicatividade é o predicatividade, que essencialmente constrói teorias estratificadas (ou ramificadas) onde a quantificação de níveis menores resultam em variáveis de um novo tipo, diferentes dos tipos de menor nível que a variável consegue alcançar. Um exemplo simples seria a da teoria intuicionista, que possui a ramificação, mas descarta a impredicatividade.