No que concerne ao projeto logicista, analise as seguintes afirmativas:

I. Este projeto tem sua gênese em Bolzano, o qual restabelece a ambição leibniziana de uma mathesis universalis.

II. Os estudos desenvolvidos por Georg Cantor reafirmam a concepção kantiana da matemática.

III. Conforme atestaram as observações de Russell, foi exitosa a tentativa de Frege de fundamentar a aritmética na lógica.

IV. Em sua “Ideografia”, Frege tornou possível o cálculo de predicados a partir do uso de quantificadores.

Estão corretas as afirmativas