A lógica elementar da matemática e o ensino superior