Axioma: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Foram revertidas as edições de 189.39.63.129 para a última revisão de Antero de Quintal, de 09h01min de 23 de julho de 2016 (UTC) |
|||
Linha 1:
{{ver desambiguação}}
Na [[lógica]] tradicional, um '''axioma''' ou '''postulado''' é uma [[Sentença (lógica matemática)|sentença]] ou [[proposição]] que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma [[teoria]]. Por essa razão, é
Na [[matemática]], um ''axioma'' é uma [[hipótese]] inicial de qual outros enunciados são logicamente derivados. Pode ser uma sentença, uma proposição, um enunciado ou uma regra que permite a construção de um sistema formal. Diferentemente de [[teorema]]s, axiomas não podem ser derivados por princípios de dedução e nem são demonstráveis por [[Derivação formal|derivações formais]], simplesmente porque eles são hipóteses iniciais. Isto é, não há mais nada a partir do que eles seguem lógicamente (em caso contrário eles seriam chamados teoremas). Em muitos contextos, "axioma", "''[[postulado]]''" e "hipótese" são usados como sinônimos.
| |||