О вхождении импликации в финитно общезначимые интуиционистски недоказуемые формулы логики высказываний

Ф. А. Кабаковым доказано, что для финитной общезначимости (в смысле Ю. Т. Медведева) интуиционистски недоказуемых пропозициональных формул необходимо вхождение импликации в посылку $\beta$ или же в заключение $\gamma$ некоторой подформулы вида $(\beta\to\gamma)$, и, следовательно, наличие по меньшей мере двух импликаций. Здесь доказывается, что всякая финитно общезначимая интуиционистски недоказуемая формула содержит вхождение импликации обязательно в посылку $\beta$ некоторой подформулы вида $(\beta\to\gamma)$, а также приводится пример подобной формулы, содержащей ровно две импликации. Библ. 5 назв.