Método axiomático, na lógica, um procedimento pelo qual um sistema inteiro (por exemplo, uma ciência) é gerado de acordo com regras especificadas por dedução lógica de certas proposições básicas (axiomas ou postulados), que por sua vez são construídas a partir de alguns termos tomados como primitivos. Esses termos e axiomas podem ser arbitrariamente definidos e construídos, ou então concebidos de acordo com um modelo no qual se sente que existe uma justificativa intuitiva para sua verdade. Os exemplos mais antigos de sistemas axiomatizados são a silogística de Aristóteles e a geometria de Euclides. No início do século XX, os filósofos britânicos Bertrand Russell e Alfred North Whitehead tentaram formalizar toda a matemática de uma maneira axiomática. Os estudiosos até sujeitaram as ciências empíricas a esse método, como JH Woodger fez em The Axiomatic Method in Biology (1937) e Clark Hull (para psicologia) em Principles of Behavior (1943). Veja também axioma.
fundamentos da matemática: o método axiomático
Talvez a contribuição mais importante para os fundamentos da matemática feita pelos gregos antigos tenha sido o método axiomático e a noção
