проблема разрешимости.