Неразрешимость логики первого порядка

Цель исследования - изучить доказательства неразрешимости логики первого порядка.Вывести неразрешимость логики первого порядка из неразрешимости проблемы остановки.Разобрать доказательство неразрешимости логики первого порядка методом Геделя.На основе полученного выведена неразрешимость логики первого порядка.Так же разобрано доказательство неразрешимости логики первого порядка методом Геделя.Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки.Изучить основные понятия логики первого порядка.Основные понятия логики первого порядка.Формальный неразрешимость логика остановка.Рассмотреть понятие машины Тьюринга и доказать неразрешимость проблемы остановки.