rt-g0_73c250c9-Kleene_VVM-russian/parts/part4-mathematical_logic_additional_topics.tex

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

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

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

stub

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

stub

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

stub

\begin{SCEnvWLabel}{Пример 13. Устранимость переменных произвольного %
определённого рода.}{example:p74-13}{13}
Пусть \ldots
\end{SCEnvWLabel}

stub

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

stub

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

stub

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

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

stub

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

stub

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

stub

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

stub

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

stub

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

stub