Разрешимая теория - это теория первого порядка, в которой существует алгоритмический метод для определения, истинно ли данное утверждение в модели этой теории. Другими словами, для каждого предложения в разрешимой теории можно определить, можно ли его доказать или опровергнуть при помощи алгоритма. Такие теории обычно изучаются в математике и логике.