Yes the details are important; if you are so inclined to trace the reasoning all the way back to the axioms, thankfully they are very easy to understand! And doing so would definitely prepare them for epistemology. There's a reason that physics leans heavily on category theory.