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