" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ОПРОВЕРЖИМАЯ ФОРМУЛА

Значение ОПРОВЕРЖИМАЯ ФОРМУЛА в математической энциклопедии:

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

В. Н. Гришин.