We do not make any serious attempt to make the dependency structure nonlinear, so every later section can refer to any previous section. Between sections and parts this is less common simply because the subject matters are different, but there are no hard rules there.
On Mon, Apr 13, 2020 at 2:41 AM Anarcocap-socdem < [email protected]> wrote: > 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 > <https://groups.google.com/d/msgid/metamath/6f739681-df49-4c8b-943c-2dfd3e2343a3%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAFXXJSv%2BPpdhRw5H_Q%3DO7t04TBm7xEUCF_5Gd9Gw8Og-E0g1qQ%40mail.gmail.com.
