https://1library.org/document/zww8g67z-logica-aritmetica-na-filosofia-da-matematica-de-frege.html