https://123dok.net/document/z1d48293-axiomatizability-spectra-class-mathjax-formula-mathcal-infty-lambda.html