We might even formalize that concept and study how many different ways we can prove a claim, what they have in common, if two paths are mostly the same or very different, etc.

Much of modern foundations is about categorizing reasoning structures by such paths!