I have to concede that, due to the way human minds work, memorizing an axiom will be much easier if that axiom makes intuitive sense.
For example, the following arbitrarily-chosen axiom is one of the basic reduction rules in the lambda-mu calculus:
(\mu \beta.u)v \; \triangleright_c \; \mu \beta.u \bigl[ [\beta](w v)/[\beta] w \bigr ]
Easy to remember? Depends on whether you can “wrap your head around it”, including the notation