Introduction to axiom systems