\part[Математическая~логика\texorpdfstring{\break}{ }(\texorpdfstring{\lowercase{дополнительные~разделы}}{дополнительные~разделы})]%
{Математическая~логика\texorpdfstring{\break}{ }(\texorpdfstring{\lowercase{дополнительные~разделы}}{дополнительные~разделы})}
\label{part:mathematical_logic_additional_topics}

\chapter{Исчисление предикатов и системы аксиом}
\label{chap:the_predicate_calculus_and_axiom_systems}

\section{Гёделевская теорема о полноте}
\label{sec:goedel_s_completeness_theorem}

stub

\section{Исчисление предикатов с равенством}
\label{sec:the_predicate_calculus_with_equality}

stub

\section{Элиминируемость (устранимость) описательных определений}
\label{sec:eliminability_of_descriptive_definitions}

stub

\section{Система аксиом, парадокс Сколема, натуральный ряд чисел}
\label{sec:axiom_systems_skolem_s_paradox_the_natural_number_sequence}

stub

\section{Проблема разрешимости}
\label{sec:the_decision_problem}

stub

\chapter{Непротиворечивость; классическая и интуиционистская системы}
\label{chap:consistency_classical_and_intuition_systems}

\section{Формальная система Генцена}
\label{sec:gentzen_s_formal_system}

stub

\section{Теорема Генцена о нормальной форме}
\label{sec:gentzen_s_normal_form_theorem}

stub

\section{Доказательства непротиворечивости}
\label{sec:consistency_proofs}

stub

\section{Разрешающая процедура, интуиционистская недоказуемость}
\label{sec:decision_procedure_intuitionistic_unprovability}

stub

\section{Редукция классических систем к интуиционистским}
\label{sec:reduction_of_classical_to_intuitionistic_systems}

stub

\section{Рекурсивная реализуемость}
\label{sec:recursive_realizability}

stub
