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