怪しげな>>269をあてにしないで課題２の解を示す。

語の問題
http://en.wikipedia.org/wiki/Word_problem_for_groups
特にリンク先にあるBoone-Rogersの定理と
有限表現可能な群の語の問題は一階の閉論理式で記述可能であることから
群の理論は決定可能ではない。

したがって>>276の二行目により
モノイドの理論、半群の理論も決定不能。