Математическая энциклопедия

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

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

В.Н. Гришин.


  1. опровержимая формула—refutable formula...Русско-английский морской словарь