75. МатематическаятеорияТ называется категоричной, если …

    1. Все ее модели изоморфны (верно)

    2. Если она имеет интерпретацию

    3. Если она имеет модель

    4. Если она непротиворечивая и полная

76. ТеорияТ называется …, если она не содержит такое высказывание S, что и S, и его отрицание являются теоремами.

    1. Противоречивой

    2. Непротиворечивой (верно)

    3. Несовместной

    4. Категоричной

77. ТеорияТ называется …, если для любого высказывания S этой теории или S или есть теорема.

    1. Непротиворечивой

    2. Противоречивой

    3. Абсолютно полной (верно)

    4. Категоричной

78. Из специальных аксиом теории натуральных чисел укажите схему аксиом, называемую принципом математической индукции

    1. 

    2. (Верно)

    3. 

    4. 

79. Утверждение «В любой непротиворечивой формальной системе, содержащей минимум арифметики, а, следовательно, и в теории натуральных чисел, найдется формально неразрешимое суждение, т.е. такая замкнутая формула А, что ни А, ни не являются выводимыми в системе» называется

    1. Теоремой дедукции

    2. Теоремой Пеано

    3. Теоремой Гёделя о неполноте (верно)

    4. Теоремой Дедекинда

80. Укажите правила вывода теории первого порядка

    1. Правило заключения, правило связывания квантором общности (верно)

    2. Правило заключения, правило подстановки

    3. Правило силлогизма, правило подстановки

Правило подстановки, правило контрапозиции