Словарь логики - разрешимая теория

— теория, для которой существует эф­фективная процедура (алгоритм), позволяющая о каждом утвержде­нии, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Не­разрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедук­тивная теория, содержащая арифметику. .