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