definition af aksiom

Inden for sprog er aksiomet defineret som en sætning eller en idé, der er indlysende og derfor ikke har brug for nogen form for verifikation for at bekræfte eller benægte det. Sådan er tilfældet med en sætning som "Juan is Juan". Axiomer bruges i forskellige områder, men de er især nyttige til videnskaber som matematik eller logik, da de tjener som basis for enhver form for mere kompleks undersøgelse eller analyse.

Axiomerne er måske de vigtigste elementer i en videnskabelig undersøgelse, uanset hvad det måtte være, for det er dem, der antager en ubestridelig sandhed (etableret i dens indhold og umulig at benægte af sig selv) hvorfra alle slags fortsat kan udføres af konklusioner eller antagelser, der senere skal verificeres eller nægtes. Axiomerne fungerer derefter som udløsere af den videnskabelige proces, da uden dem ville der ikke være nogen tidligere sandhed, hvorfra man kunne starte. Traditionelt er dette system deduktivt, da en mulig videnskabelig regel udledes af en allerede eksisterende aksiomatisk sandhed.

For bedre at forstå denne opfattelse, at der er en utvivlsom eller ufravigelig sandhed, kan det tilføjes, at udtrykket aksiom kommer fra græsk axios. Dette udtryk betød igen begrebet "hvad der er retfærdigt eller korrekt", hvorfor aksiomet er det, der, fordi det er korrekt, ikke behøver bevis eller verifikation.

Det er derfor vigtigt at påpege, at aksiomerne er sande former for sprog og logik, da den formelle struktur, uanset deres indhold eller den fortolkning, der gives, forbliver og antager altid noget tydeligt eller eksplicit. På denne måde er de nogle af de enkleste og mest basale logiske former, fordi større kompleksitet vil betyde mere plads til spørgsmålstegn eller benægtelse.