> > Thank you to vvs and Kingdon for their posts. It was very kind of them. >
You are welcome. I just don't afraid to look ridiculous, but I have nothing to lose anyway. BTW, I wonder if Bourbaki is the only place for proper taxonomy? Shouldn't there be established standards, similar to MSC2010? As I've said in other thread: why not have some formal classification and let the user to assign his own tags for searching. That would need better tools of course. -- 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/f9d4f1b7-5705-41f3-be77-3f6dc0aca44d%40googlegroups.com.