разрешимая формула Мат. decidable formula Источник: Полный русско-английский словарь на Gufo.me Предложить изменения разрешимая теория разрешимое высказывание