Considerações sobre a matemática e a estrutura lógica
Em sua obra “Arithmetices Principia Nova Methodo Exposita”, publicada em 1889, Giuseppe Peano (1858 – 1932) apresenta sua primeira tentativa de axiomatizar um ramo da Matemática em linguagem simbólica. Nesta obra, aparecem pela primeira vez os chamados Axiomas de Peano, que permitem a construção do conjunto dos números naturais. Baseado nas noções de “número”, “um”, “sucessor” e “é igual a”, Peano apresenta a reescrita da Aritmética em notação simbólica, bem como resultados concernentes a frações, aos números reais e à noção de limite. Introduz as notações que se tornariam clássicas, como os símbolos de pertinência e de implicação ou de inclusão, em um sistema notacional mais sofisticado do que os apresentados por autores anteriores. Além disso, em outras publicações, Peano trata de temas relacionados a modelos, consistência e indução. Nosso objetivo é discutir alguns pontos interessantes de sua abordagem, suas implicações matemáticas e lógicas e alguns desdobramentos posteriores.