> > > Who has spoken of "blind use" ? You don't want it. that's all. You speak of the set theory book when nobody mentions it, I just don't understand what you call "real" set theory. I let you imagine the size of any theorems in set.mm when reduced to the primitive symbols. Semigroups are a problem you mainly because it is not in Lang
Serge Lang born in 1925 dead in 2005. First edition of his algebra book 1965 https://catalog.loc.gov/vwebv/search?searchCode=LCCN&searchArg=65023677&searchType=1&permalink=y Very modern indeed. I just let you discover Bourbalki's chronology. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/13c9330f-82e7-4ffe-b32c-e183e519a2b8%40googlegroups.com.
