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