Ein Axiom ist ein Grundsatz einer Theorie, einer Wissenschaft oder eines axiomatischen Systems, der innerhalb dieses Systems nicht begründet oder deduktiv abgeleitet wird.

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.