This document provides an introduction to the Axiom computer algebra system. It discusses Axiom's capabilities for symbolic computation, numeric computation, mathematical structures, hypertext documentation, interactive programming, graphics, data structures, pattern matching, polymorphic algorithms, and extensibility. It also covers fundamental concepts in Axiom's type system and how types are defined by abstract datatype programs.