An axiom is a premise or starting point of reasoning. As classically conceived, an axiom is a premise so evident as to be accepted as true without controversy. The word comes from the Greek ἀξίωμα 'that which is thought worthy or fit,' or 'that which commends itself as evident.' As used in modern logic, an axiom is simply a premise or starting point for reasoning, and equivalent to what Aristotle calls a definition. Axioms define and delimit the realm of analysis. In other words, an axiom is a logical statement that is assumed to be true. Therefore, its truth is taken for granted within the particular domain of analysis, and serves as a starting point for deducing and inferring other (theory and domain dependent) truths. An axiom is defined as a mathematical statement that is accepted as being true without a mathematical proof.

Axiom is a free, general-purpose computer algebra system. It consists of an interpreter environment, a compiler and a library, which defines a strongly typed, mathematically (mostly) correct type hierarchy.

Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems).

Axiom ist ein freies Computeralgebrasystem. Es besteht aus einer interaktiven Umgebung (dem Interpreter), einem Compiler und einer Programmbibliothek. Letztere implementiert eine mathematisch korrekte Hierarchie von Typen.

Axiom est un rappeur français originaire du Maroc. Né à Lille en janvier 1975, il grandit dans cette même ville.

Un axiome (du grec ancien /axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité indémontrable qui doit être admise. Pour certains philosophes grecs de l'Antiquité, un axiome était une affirmation qu'ils considéraient comme évidente et qui n'avait nul besoin de preuve.

Axiome est un groupe belge de musique électronique et bruitiste formé en 1991 et produit par le label allemand Ant-Zen.

Ett axiom (av grekiska axioma) är en grundsats som kan accepteras utan bevis, en sats som är självklart sann och inte själv behöver bevisas. Dessa självklarheter utgör logiska systems grund, som tillsammans kan bilda ett axiomsystem. Man kan härleda nya satser från dessa axiomsystem.

Aksjomat (postulat, pewnik; gr. αξιωμα aksíoma – godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.
Intuicyjnie i nieściśle ujmując:

aksjomaty to zdania przyjmowane za prawdziwe, których nie dowodzi się w obrębie danej teorii matematycznej, lecz na ich bazie udowadnia się inne jej zdania (twierdzenia).

W formalnym sensie definicja aksjomatu jest nieco szersza (zobacz dalej), jednak powyższa definicja, choć nie do końca ścisła, oddaje praktyczny sposób ich użycia.