Apresentação
Esta série tem por objetivo realizar um breve estudo sobre o método axiomático, partindo desde a Grécia Antiga, com Euclides, e chegando finalmente à sua formulação atual – capturada pela noção de teoria formal – dada pelo matemático alemão David Hilbert em seu conhecido trabalho intitulado “Fundamentos da Geometria”.
Considerado por Hilbert como o método por excelência da atividade matemática, desejava ele também que o rigor trazido pelo método axiomático se estendesse aos demais campos científicos, em particular, à Física. Nesse sentido, além de exemplos em matemática, tais como a teoria de grupos, também apresentarei uma axiomatização da mecânica de partículas clássica, buscando mostrar não somente alguns exemplos de teoremas que podem ser provados no escopo desse sistema, mas também alguns exemplos de metateoremas – afirmações provadas a respeito do próprio sistema enquanto um objeto de estudo em si mesmo