Большой англо-русский и русско-английский словарь
refutable formula
Математическая энциклопедия
формально опровержимая в данной системе формула, - замкнутая формула данной системы, отрицание к-рой выводимо в этой системе.
В. Н. Гришин.
«опровержимая формула»
опровержимая формула в энциклопедиях