Мышление, вычисления и искусственный интеллект для школьников

В чем выражается противоречивость формальной системы?

(Отметьте один правильный вариант ответа.)

Варианты ответа

для каждого утверждения Y можно вывести одновременно утверждения Y и не Y(Верный ответ)

для каждого утверждения Y можно вывести только либо Y, либо не Y

для каждого утверждения Y нельзя вывести только либо Y, либо не Y

для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y

Похожие вопросы

В чем выражается неполнота формальной системы?

В чем выражается непротиворечивость формальной системы?

В чем выражается полнота формальной системы?

Какое утверждение верно для формальной системы?

Какое утверждение верно для формальной математической системы?

Утверждение, что полной и непротиворечивой математической формальной системы не существует доказывает:

Теорема Геделя доказывает, что полной и непротиворечивой математической формальной системы не существует?