A lógica clássica e a matemática – Parte III