Leitura atual: Tudo é enumerável: observações sobre o projeto logicista de Frege