Within language, the axiom is defined as a phrase or an idea that is self-evident and, therefore, does not need any kind of verification to reaffirm or deny it. Such is the case of a phrase such as "Juan is Juan". Axioms are used in different areas, but they are especially useful for sciences such as mathematics or logic as they serve as the basis for any type of more complex study or analysis.
The axioms are perhaps the most important elements of a scientific investigation, whatever it may be, because they are the ones that suppose an indisputable truth (established in its content and impossible to deny by itself) from which all kinds can continue to be carried out. of inferences or assumptions that, later yes, will have to be verified or denied. The axioms then act as triggers of the scientific process since without them there would be no previous truth from which to start. Traditionally, this system is deductive since a possible scientific rule is deduced from a pre-existing axiomatic truth.
To better understand this notion that there is an undoubted or invariable truth, it can be added that the term axiom comes from the Greek axios. This term in turn meant the notion of "what is fair or correct", which is why the axiom is that which, because it is correct, does not need proof or verification.
It is important, then, to point out that the axioms are true forms of language and logic since, regardless of their content or the interpretation that is given to it, the formal structure remains and always supposes something evident or explicit. In this way, they are some of the simplest and most basic logical forms because greater complexity would mean more space for questioning or denial.
