Базисы допустимых правил логик ${\rm S}4$ и ${\rm Int}$

Доказывается, что модальная система ${\rm S}4$ и интуиционистская логика высказываний ${\rm Int}$ не имеют конечных базисов допустимых правил, а свободные топобулева и псевдобулева алгебры не имеют базисов квазитождеств от конечного числа переменных.