definisjon av aksiom
Innen språket er aksiomet definert som et uttrykk eller en idé som er åpenbar og trenger derfor ingen form for bekreftelse for å bekrefte eller nekte det. Slik er tilfellet med et uttrykk som "Juan is Juan". Aksiomer brukes i forskjellige områder, men de er spesielt nyttige for vitenskap som matematikk eller logikk, da de tjener som grunnlag for alle typer mer komplekse studier eller analyser.
Aksiomene er kanskje de viktigste elementene i en vitenskapelig undersøkelse, uansett hva det måtte være, fordi det er de som antar en ubestridelig sannhet (etablert i innholdet og umulig å benekte av seg selv) som alle slags kan fortsette å bli utført fra av konklusjoner eller antagelser som senere må bekreftes eller nektes. Aksiomene fungerer da som utløsere av den vitenskapelige prosessen, siden uten dem ville det ikke være noen tidligere sannhet å starte fra. Tradisjonelt er dette systemet deduktivt siden en mulig vitenskapelig regel er utledet fra en allerede eksisterende aksiomatisk sannhet.
For bedre å forstå denne oppfatningen om at det er en utvilsom eller uforanderlig sannhet, kan det legges til at begrepet aksiom kommer fra gresk aksios. Dette begrepet betydde igjen begrepet "hva som er rettferdig eller riktig", og det er derfor aksiomet er det som, fordi det er riktig, ikke trenger bevis eller verifisering.
Det er derfor viktig å påpeke at aksiomene er sanne former for språk og logikk, siden den formelle strukturen forblir og antar alltid noe tydelig eller eksplisitt, uavhengig av innholdet eller tolkningen. På denne måten er de noen av de enkleste og mest grunnleggende logiske formene fordi større kompleksitet vil bety mer plass til spørsmålstegn eller fornektelse.
