> 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.


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 

Reply via email to