(in Impredicative definition; fr. definition imprédicative; it. Definizione impredicativá).
Poincaré indicou com esta expressão a definição do membro de uma classe que faz referência à totalidade dos membros da classe e que, portanto, contém um círculo vicioso. Destas definições surgem as antinomias lógicas que Poincaré queria evitar estabelecendo o princípio que não permite tais definições (Poincaré, em Revue de Métaphysique et de Morale, 1906, pp. 294-317; cf. também Dernières Pensées, 1913, IV) (v. antinomia). [Abbagnano]