Finitely Axiomatizable Theories door Mikhail G. Peretyat'kin