V rámci jazyka je axiom definován jako fráze nebo myšlenka, která je samozřejmá, a proto nepotřebuje žádný druh ověření k jejímu opětovnému potvrzení nebo popření. To je případ fráze jako „Juan je Juan“. Axiomy se používají v různých oblastech, ale jsou zvláště užitečné pro vědy, jako je matematika nebo logika, protože slouží jako základ pro jakýkoli typ složitějšího studia nebo analýzy.
Axiomy jsou možná nejdůležitějšími prvky vědeckého bádání, ať už je to cokoliv, protože jsou těmi, které předpokládají nezpochybnitelnou pravdu (stanovenou svým obsahem a nelze ji popřít sama o sobě), z níž lze i nadále vycházet. závěrů nebo předpokladů, které musí být později ověřeny nebo vyvráceny. Axiomy pak fungují jako spouštěče vědeckého procesu, protože bez nich by neexistovala žádná předchozí pravda, ze které by se dalo začít. Tradičně je tento systém deduktivní, protože možné vědecké pravidlo je odvozeno z již existující axiomatické pravdy.
Pro lepší pochopení tohoto pojmu, že existuje nepochybná nebo neměnná pravda, lze dodat, že výraz axiom pochází z řeckého axios. Tento termín zase znamenal pojem „co je spravedlivé nebo správné“, což je důvod, proč je axiom tím, který, protože je správný, nepotřebuje důkaz nebo ověření.
Je tedy důležité poukázat na to, že axiomy jsou skutečnými formami jazyka a logiky, protože bez ohledu na jejich obsah nebo výklad, který je jim dán, formální struktura zůstává a vždy předpokládá něco evidentního nebo explicitního. Tímto způsobem jsou to některé z nejjednodušších a nejzákladnějších logických forem, protože větší složitost by znamenala více prostoru pro zpochybňování nebo popírání.
