b'\n_START_ARTICLE_\nImpredicatividade\n_START_PARAGRAPH_\nEm matem\xc3\xa1tica e l\xc3\xb3gica, impredicatividade \xc3\xa9 a propriedade de uma defini\xc3\xa7\xc3\xa3o autorreferenci\xc3\xa1vel. Mais precisamente, a defini\xc3\xa7\xc3\xa3o \xc3\xa9 chamada impredicativo se ela chamar (mencionar ou quantificar) o pr\xc3\xb3prio conjunto que j\xc3\xa1 est\xc3\xa1 sendo definido, ou (mais comumente) outro conjunto que contenha o conjunto que est\xc3\xa1 sendo definido._NEWLINE_O Paradoxo de Russell \xc3\xa9 um famoso exemplo de constru\xc3\xa7\xc3\xa3o de um impredicativo, ou seja, o conjunto de todos os conjuntos que n\xc3\xa3o cont\xc3\xaam eles mesmos. O paradoxo acontece se o tal conjunto cont\xc3\xa9m ele pr\xc3\xb3prio ou n\xc3\xa3o \xe2\x80\x94 se ele contiver ent\xc3\xa3o, por defini\xc3\xa7\xc3\xa3o, ele n\xc3\xa3o deveria conter a si mesmo, e se ele n\xc3\xa3o contiver, ent\xc3\xa3o, por defini\xc3\xa7\xc3\xa3o, ele deveria conter a si mesmo._NEWLINE_O maior limite inferior de um conjunto X, glb(X), tamb\xc3\xa9m tem uma defini\xc3\xa7\xc3\xa3o 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 \xc3\xa9 menor ou igual a y. Apesar disso, essa defini\xc3\xa7\xc3\xa3o tamb\xc3\xa9m quantifica o conjunto (potencialmente infinito, dependendo da ordem em quest\xc3\xa3o) cujos elementos s\xc3\xa3o o limites inferior de X, sendo um deles o pr\xc3\xb3prio limite inferior. O predicativismo de Hence rejeitaria essa defini\xc3\xa7\xc3\xa3o ._NEWLINE_A no\xc3\xa7\xc3\xa3o oposta de impredicatividade \xc3\xa9 o predicatividade, que essencialmente constr\xc3\xb3i teorias estratificadas (ou ramificadas) onde a quantifica\xc3\xa7\xc3\xa3o de n\xc3\xadveis menores resultam em vari\xc3\xa1veis de um novo tipo, diferentes dos tipos de menor n\xc3\xadvel que a vari\xc3\xa1vel consegue alcan\xc3\xa7ar. Um exemplo simples seria a da teoria intuicionista, que possui a ramifica\xc3\xa7\xc3\xa3o, mas descarta a impredicatividade.'