Axioma: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Foram revertidas as edições de He7d3r para a última revisão de FSogumo, de 17h16min de 8 de novembro de 2016 (UTC) |
|||
Linha 128:
=== Axiomas Não-lógicos ===
Axiomas não-lógicos são fórmulas que usam a função de hipóteses de teorias especificadas. Em razão sobre duas diferentes estruturas, por exemplo os números naturais e os integrais, podem envolver o mesmo axioma lógico; os axiomas não-lógicos visam capturar o que é especial sobre uma estrutura particular
Quase toda a teoria da matemática moderna iniciou de um dado conjunto de axiomas não-lógicos, e eles eram imaginados como um principio que toda teoria pode ser axiomatizada neste caminho e formalizada por uma linguagem vazia de fórmulas lógicas. Isto se tornou impossível e provou ser totalmente uma história; Assim recentemente esta aproximação retornou na forma de neologismo.
| |||