A proposta do projeto foi estudar a origem e as soluções de alguns paradoxos relacionadas à lógica-matemática. Foi feito um levantamento dos paradoxos mais famosos da lógica, visando uma catalogação dos mesmos. Em particular, foram discutidos o paradoxo de Cantor, o paradoxo de Russell e o paradoxo do barbeiro, que tratam de questões relacionadas ao infinito e à Teoria dos Conjuntos proposta por Georg Cantor em aproximadamente 1872.