### Demonstration Graph (of dependencies on axioms)

Posted:

**Sat Jan 08, 2011 3:20 pm UTC**Hello,

I search for a sort of "Graph" which link thorem to axioms or others theorems they use.Like this:http://xkcd.nl/cYr/path4580.png

(I search too for a demonstration interactive graph in witch description and demonstation(s) of each theorem can be accessed).

I doubt it exists but it will be so awesome.

I would be interrested too in some link/book to other people trying to do this (clarify how we come up with a theorem,each theorem step).

Is this insane?

I search for a sort of "Graph" which link thorem to axioms or others theorems they use.Like this:http://xkcd.nl/cYr/path4580.png

(I search too for a demonstration interactive graph in witch description and demonstation(s) of each theorem can be accessed).

I doubt it exists but it will be so awesome.

I would be interrested too in some link/book to other people trying to do this (clarify how we come up with a theorem,each theorem step).

Is this insane?