В развитие известных алгоритмов метода сравнения предлагается метод редукции как логический инструмент формулировки гипотез. Приводятся примеры его применения в качественном анализе динамических систем для получения некоторых критериев достижимости множеств.
