A general method for diagnosing axioms