Delete IdemSemiRingAxioms