Секвенциальная аксиоматизация логики Int < α,β >статья