Teoria dos tipos: diferenças entre revisões

No sentido mais lato, a '''teoria dos tipos''' é o ramo da hie[[matemática]] e da [[lógica]] que se preocupa com a classificação de entidades em [[conjunto]]s chamados [[tipo]]s. Neste sentido, está relacionada com a noção [[metafísica]] de "tipo". A teoria dos tipos moderna foi inventada em parte em resposta ao [[paradoxo de Russell]], e é muito usada em ''Principia Mathematica'', de Russell e Whitehead.