Метод индикаторов и неполнота некоторых вариантов формальной арифметикидипломная работа (Специалист)