Axiom é um sistema de computador Algebra de propósito geral. É útil para pesquisa e desenvolvimento de algoritmos matemáticos. Ele define uma hierarquia de tipo fortemente digitada e matematicamente correta. Tem uma linguagem de programação e um compilador integrado.