特に、シグネチャ(非論理記号の一覧)に等式と2つ以上の引数を持つ述語が少なくとも1つ含まれている場合、論理的妥当性の集合は決定可能ではない。