Языки и исчисления

Теорема Эрбрана:

(Ответ считается верным, если отмечены все правильные варианты ответов.)

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

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

Теорема о полноте позволяет заменить в формулировке:

Верна теорема для любой булевой функции

$\sum\nolimits_1 {}$ - теорема $\exists x_1 ...\exists x_2$ А теории T₁ и отрицающая ее П₁-теорема $\forall x_1 ...\forall x_n$ А теории T₂: