Лекция 18. Интуиционистская арифметика

Теория НА, принцип наименьшего числа влечет закон исключенного третьего, негативная интерпретация PA в HA, перевод Фридмана-Драгалина, замкнутость HA относительно рекурсивного правила Маркова и правила независимости посылок, консервативность PA над HA для $\forall\exists$-формул, штрих Акцеля, дизъюнктивное и экзистенциальное свойства НА.