Ошибка.
Попробуйте повторить позже
Показать, что система аксиом ИВ в гильбертовской форме избыточна. А именно, показать, что аксиома
следует уже из остальных аксиом.
Выведем сначала
1. - гипотеза;
2. - ;
3. - гипотеза;
4. - ;
5.
MP
1, 2.
6.
MP
3, 4.
7. - ;
8.
MP
5, 7.
9.
MP
6, 8.
10. - ;
11.
MP
9, 10.
Таким образом, мы вывели
Но тогда по теореме о дедукции
И ещё раз по теореме о дедукции
То есть эта последняя формула выводится из пустого множества гипотез - чисто из аксиом ИВ.
Специальные программы
Программа
лояльности v2.0
Приглашай друзей в Школково и получай вознаграждение до 10%!
Крути рулетку
и выигрывай призы!
Крути рулетку и покупай курсы со скидкой, которая привязывается к вашему аккаунту.
Бесплатное обучение
в Школково
Для детей ДНР, ЛНР, Херсонской, Запорожской, Белгородской, Брянской областей, а также школьникам, находящимся в пунктах временного размещения Крыма обучение на платформе бесплатное.
Налоговые вычеты
Узнай, как получить налоговый вычет при оплате обучения в «Школково».
Специальное предложение
для учителей
Бесплатный доступ к любому курсу подготовки к ЕГЭ или олимпиадам от «Школково». Мы с вами делаем общее и важное дело, а потому для нас очень значимо быть чем-то полезными для учителей по всей России!
Вернём деньги за курс
за твою сотку на ЕГЭ
Сдать экзамен на сотку и получить обратно деньги за подготовку теперь вполне реально!