Доказательство непротиворечивости арифметики первого порядка в арифметике второго порядкадипломная работа (Специалист)