Hello, I would like to understand the dependencies at the Table of Contents level. For this, I mean that I would like to see the Metamath follows a "tree of mathematics" structure, whereby logic and ZFC are at the roots, and then (possibly, this is what I want to confirm) there are three stems out of the roots, the numbers, algebra and topology. And then, these three stems have their own leaves, which in fact, are very often leaves with origins in more than one stem (topology and the numbers are required for analysis, geometry, probability ...).
Of course, I could go by myself, go deep into the ToC, and check for myself if my assumption is true or not (especifically, that there are no "hidden" dependencies, meaning that in fact there are more, or less, stems at the origin). And of course, I will try to do it. But maybe I could have some help from the experts here, since maybe there is a way to check what I am saying in an easier (and safer) way. Note: this tree of mathematics that I am referring one is a very specific one, with no history or no "common sense" order, like for example, saying that geometry is one of the stems of mathematics (which conceptually is true, since geometry has been one of the key forces in "doing mathematics" throughout the millenia, but in "metamath" sense, geometry is way, way higher in the tree, and less "basic", I assume). Thanks! -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/6f739681-df49-4c8b-943c-2dfd3e2343a3%40googlegroups.com.
