РАЗРЕШИМАЯ ФОРМУЛА

развязальная формула

разрешимая формула—в данной системе такая формула Аданной формальной системыi что либо она доказуема в этой системе т. е. является теоремой либо опровержима т. е. доказуемо ее отрицание . ...Математическая энциклопедия