Mal'cev also established that the theory of semigroups and the theory of rings are undecidable.
Mal'cev は半群の理論と環の理論も決定不能であることを立証した。