I'm asking this question here on a physics forum because a physics question sparked this off. However, it is applicable to all aspects of scientific knowledge. I am looking for a scientific knowledge dependency graph. This is one centralised database which captures the specific and required dependencies between proven scientific hypotheses. For example, hypothesis Z is only proven if hypotheses W, X, and Y are proven. In turn, hypothesis W is only proven if hypotheses P, Q and R are proven. Etcetera. From one hypothesis I would hope to easily trace the chain/graph/hierarchy of required proven hypotheses all the way back to, perhaps, mathematical axioms and 'fundamental' observations. Does such a thing exist?