Исследование выводов формальной арифметики погружением в системы с формальной непротиворечивостьюдипломная работа (Специалист)