I have created the tag synonym peano-arithmetic -> theories-of-arithmetic.
I don't consider it very likely that at some point MO will want to revert this change. (Moreover, the tags weren't merge so at the moment just cancelling the synonym would be enough.)