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