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