> > > > And above all it permits to find a core of mathematics. Because > mathematics by themselves > > Above all, it permits us to define a subset of theorems that we can consider as the heart of mathematics. Because mathematics, all the same, are pervasive. The first six books of the treatise have shown in practice that they constitute an acceptable core.
Because of the structure of set.mm we have to remain linear. No network structure is possible. -- FL -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/1d4e590e-85f6-4634-ad14-b2b46bed34d0%40googlegroups.com.