Why does no one list the axiom or rule used at each step in the proof of a theorem?

It would make proofs so much easier to read and restrict people from making ambiguous jumps in logic that require reverse engineering.

It would make memorizing the systems easier as well, as you could jump back to rules you're weak on very easily.