For instance, Gödel showed that all theorems from intuitionistic logic have an equivalent theorem in the classical modal logic S4.
Например, Гёдель показал, что все теоремы интуиционистской логики имеют эквивалентные теоремы в классической модальной логике S4.