O que é axiomático:
Axiomático é algo evidente, inquestionável, indiscutível, inegável, irrefutável, irrefutável, certo, provado, claro, é algo relativo aos axiomas, que não é falso nem duvidoso. Axiomática tem um significado em várias ciências, como lógica, matemática, engenharia, todas elas com teorias sobre axiomas.
Na lógica, existe o sistema axiomático, que é uma forma de teoria dedutiva, construída a partir de condições iniciais que são desenvolvidas por regras de definição. Na matemática, também existe um sistema axiomático, que é um conjunto de axiomas que podem ser usados para a derivação lógica de teoremas, por meio de deduções.
Da mesma forma, um sistema axiomático pode expressar seus axiomas formal ou informalmente. Quando cada axioma, usando a linguagem formal, é uma cadeia finita de signos neste alfabeto, e essa sequência é uma fórmula bem formada seguindo regras combinatórias, é chamado axiomatização formal. Quando definições inequívocas são usadas com uma linguagem natural formalizada, ela é chamada axiomatização informal. livros sobre matemática e outras disciplinas formais geralmente escrevem axiomas dessa maneira.
Na lógica, axiomático é quando um axioma, também chamado de postulado, é uma frase que não foi provada ou provada e, apesar disso, é considerada óbvia, é um consenso poder aceitar uma teoria.
