156

Мощными называются теоремы, применимые в большом количестве разных систем (этот полуофициальный термин, как правило, применяется в отношении абстрактных алгебраических теорем). – Прим. пер.