Опровержимая Формула

Формально опровержимая в данной системе формула, — замкнутая формула данной системы, отрицание к-рой выводимо в этой системе. В. Н. Гришин.