The theory of ceers computes true arithmetic