Формула в теории, для которой существует механизм вывода в рамках этой теории, называется разрешимой

Однажды мальчик был в лесу и увидел зайчика. У него была сломана лапка, и зверек хромал. Ребенок принес малыша домой, перевязал и долго лечил. Когда зайчик выздоровел, мальчик отпустил его на волю. Доброе сердце у ребенка!