Resumen

O texto tem por objetivo expor compreensões sobre o que vem a ser uma demonstração matemática, em sua historicidade. Como procedimentos metodológicos, pautamo-nos nas orientações expostas em trabalhos de Edmund Husserl (1859-1938). Trata-se de uma pesquisa de caráter qualitativo, desenvolvida segundo a abordagem fenomenológica. As discussões sobre as demonstrações ou verdades matemáticas são iniciadas com o modelo dedutivo, proposto por Euclides em Os Elementos, e são retomadas ao longo do tempo, por diferentes filosofias da matemática, que intencionavam estabelecer uma linguagem formal e livrar a matemática de suas contradições. O que definimos por matemática formal na atualidade é fruto desse processo.