Какое утверждение верно для формальной системы?
(Отметьте один правильный вариант ответа.)
Варианты ответа
признак полноты системы - если для каждого утверждения Y можно вывести одновременно утверждения Y и не Y
признак полноты системы - если для каждого утверждения Y можно вывести только либо Y, либо не Y(Верный ответ)
признак полноты системы - если для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
признак полноты системы - если для каждого утверждения Y нельзя вывести только либо Y, либо не Y