Лекция 18. Л. Д. Беклемишев. Интуиционистская арифметика