implemented adding and deleting axioms