https://123dok.net/document/y4w4gw05-proprietà-metamatematiche-di-alcune-classi-di-algebre.html