Ring axioms