noun
: the problem of finding an effective method for deciding whether a given formula is true within the framework of the calculus to which it belongs
noun
: the problem of finding an effective method for deciding whether a given formula is true within the framework of the calculus to which it belongs
Webster's New International English Dictionary. Новый международный словарь английского языка Webster. 2012