Секвенциальное построение логико-математических теорийстатья