A proposta do projeto foi estudar diversos paradoxos relacionadas à lógica. Um levantamento foi feito, tendo o intuito de registrar alguns dos mais populares paradoxos, usando como critério que tivessem uma base filosófica e matemática. Em particular, foi discutido o paradoxo do Navio de Teseu, que trata de questões relacionadas com conjuntos numéricos e, em relação a sua base filosófica, trata sobre questões de identidade. Além disso, o projeto perpassa pela longa trajetória histórica desse paradoxo, quando aparecem ilustres pensadores com a tentativa de resolver ou entender esse paradoxo, como o caso de Leibniz.