Axioma

Na lgica tradicional, um axioma ou postulado uma sentena ou proposio que no provada

u demonstrada e considerada como bvia ou como um consenso inicial necessrio para a
construo ou aceitao de uma teoria. Por essa razo, aceita como verdade e serve como p
onto inicial para deduo e inferncias de outras verdades (dependentes de teoria).

Na matemtica, um axioma uma hiptese inicial de qual outros enunciados so logicament

e derivados. Pode ser uma sentena, uma proposio, um enunciado ou uma regra que perm
ite a construo de um sistema formal. Diferentemente de teoremas, axiomas no podem s
er derivados por princpios de deduo e nem so demonstrveis por derivaes formais, simple
mente porque eles so hipteses iniciais. Isto , no h mais nada a partir do que eles se
guem logicamente (em caso contrrio eles seriam chamados teoremas). Em muitos cont
extos, "axioma", "postulado" e "hiptese" so usados como sinnimos.
Uma possvel diferena entre postulado e axioma a possibilidade de se provar um axio
ma, logo um axioma passaria a ser um teorema. Enquanto que os postulados so verda
des evidentes que no requerem demonstraes.
Como foi visto na definio, um axioma no necessariamente uma verdade autoevidente, m
as apenas uma expresso lgica formal usada em uma deduo, visando obter resultados mai
s facilmente. Axiomatizar um sistema mostrar que suas inferncias podem ser deriva
das a partir de um pequeno e bem definido conjunto de sentenas. Isto no significa
que elas possam ser conhecidas independentemente, e tipicamente existem mltiplos
meios para axiomatizar um dado sistema (como a aritmtica). A matemtica distingue d
ois tipos de axiomas: axiomas lgicos e axiomas no-lgicos.
Nas teorias das cincias naturais, um axioma considerado uma verdade evidente que
e aceita como tal mas que ao rigor da palavra no pode ser demonstrado ou provado
uma verdade absoluta dentro do domnio de sua aplicao; geralmente derivado de intuio o
u de conhecimento emprico, os quais apoiam-se em todos os fatos cientficos at ento c
onhecidos e relevantes rea em estudo. A viabilidade ou utilidade de tais teorias,
e a classificao das mesmas como teorias cientficas vlidas ou j aprimoradas, todas se
mpre logicamente derivadas de forma correta de suas premissas (dos axiomas), dep
endem das escolhas acuradas de seus axiomas e da corroborao dos mesmos frente aos
fatos cientficos conhecidos na poca em que foram propostos, e frente aos que forem
gradualmente descobertos em pocas futuras s suas proposies. Fatos novos, ao serem d
escobertos, podem levar evoluo das teorias mediante necessidade explicita de modif
icaes em seus axiomas, que, conforme propostos no paradigma cientfico evoludo e ora
vlido, devem manter-se sempre corroborados pela ntegra dos fatos cientficos conheci
dos at a data em questo.
Na engenharia, axiomas so aceitos sem provas formais e suas escolhas so negociadas
a partir do ponto de vista utilitrio e econmico. Podem tambm ser considerados como
hipteses na modelagem e mudados depois da validao do modelo.

Declaraes explcitas de axiomas uma condio necessria para a computabilidade de uma teo
ia, modelo ou mtodo. Neste caso, o axioma pode ser visto como um conceito relativ
o dependente de domnio, por exemplo, em cada programa de software, declaraes inicia
is podem ser consideradas como seus axiomas locais.