Невозможность конечной аксиоматизации суперинтуиционистской логики Cheq клетчатых подмножеств R∞дипломная работа (Специалист)