Математическая энциклопедия:
Формально опровержимая в данной системе формула, — замкнутая формула данной системы, отрицание к-рой выводимо в этой системе. В. Н. Гришин.
Смотреть другие определения →
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020