Made available in DSpace on 2016-04-27T17:27:06Z (GMT). No. of bitstreams: 1 Arthur Heller Britto.pdf: 403242 bytes, checksum: 9ea7d542e4846499fab1760b30fe2a33 (MD5) Previous issue date: 2013-11-08 / The objective of this dissertation is first to present the fundamental part of Frege's logicist project - that became known as Frege's theorem - as an independent mathematical result in order to then evaluate its philosophical significance through a discussion of Frege's concept of logic. Besides, there are two appendixes in which a general recursion theorem is proven inside a classical second-order logical system and a neofregean construction of the real numbers from Cauchy sequences is presented / O objetivo desta dissertação e, em primeiro lugar, apresentar o núcleo fundamental do projeto logicista fregeano - o que ficou conhecido pelo nome de teorema de Frege - como um resultado matemático independente para, em seguida, avaliar o seu significado filosófico por meio da discussão acerca do conceito fregeano de logica. Além disso, este trabalho contém dois anexos, nos quais se demonstra um teorema geral de recursão dentro de um sistema clássico de logica de segunda ordem e se apresenta uma construção neofregeana dos números reais por meio de sequências de Cauchy