livro introducao a filosofia matematica