Em resposta a Introdução à Matemática formal