Within the language, the axiom is defined as a phrase or an idea that is self-evident and, therefore, does not need any type of verification to confirm 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, since they serve as the basis for any type of study or more complex analysis.
The axioms are perhaps the most important elements of a scientific investigation, whatever it may be, because they are the ones that presuppose an indisputable truth (established in its content and impossible to deny by itself) from which all kinds of activities can be carried out. of inferences or assumptions that, later, yes, must be verified or denied. The axioms then act as triggers for 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 indubitable 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 axioms are true forms of language and logic since, regardless of their content or the interpretation given to it, the formal structure is maintained and always supposes something evident or explicit. In this way, they are some of the simplest and most basic logical forms because more complexity would mean more room for questioning or denial.
Following