Resumo
Desenvolveremos os sistemas T e T, duas teorias de conjuntos, devidas a Newton da Costa. Tais sistemas têm a sua importância de servirem como alicerce à teoria das categorias. (Lembremos que a teoria das categorias precisa da existência de conjuntos 'muito grandes' o que não se pode provar nos sistemas usuais, digamos, o sistema de Zermelo-Fraenkel, de Morse-Kelley, entre outros). (AU)