ELI5: Explain Like I'm 5

Axiom (computer algebra system)

An axiom is like a rule that we use when we are doing math on a computer. It's kind of like a shortcut that tells the computer how to solve certain types of problems. We use these axioms so that the computer can solve complex math problems faster and easier. Think of it like having a cheat sheet for your math homework!