Investigating axioms