This is not too different from what I did as a teenager in school. I separated out the facts as “axioms” and “theorems”, noting that the theorems can be deduced from the axioms, should I forget them. I would try to figure out how to deduce the “redundant” theorems from my axioms, which would help me remember them. As a simple example, the Law of Conservation of Momentum, is redundant and easily derived from “every force has an equal and opposite force”—simply multiply by time. Naturally, I also immediately deduced a conservation law for center of mass—multiply by time again. I also noted places where two facts are redundant, but I couldn’t decide which was the more fundamental. Mostly I did this because I know that my memory for boring disconnected facts is rather poor—it “shouldn’t” be easier for me to remember how to derive a fact than the fact itself, but often it is anyways.
This is not too different from what I did as a teenager in school. I separated out the facts as “axioms” and “theorems”, noting that the theorems can be deduced from the axioms, should I forget them. I would try to figure out how to deduce the “redundant” theorems from my axioms, which would help me remember them. As a simple example, the Law of Conservation of Momentum, is redundant and easily derived from “every force has an equal and opposite force”—simply multiply by time. Naturally, I also immediately deduced a conservation law for center of mass—multiply by time again. I also noted places where two facts are redundant, but I couldn’t decide which was the more fundamental. Mostly I did this because I know that my memory for boring disconnected facts is rather poor—it “shouldn’t” be easier for me to remember how to derive a fact than the fact itself, but often it is anyways.