Ontologia e lógica da contradiçao : Crítica da metafísica dialéctica na matemática pura. Antinomias do finito (removíveis ou superáveis) e antinomias do infinito. A prova matemática da existência da Deus