Разрешимость, единственность, количество решений