Kurt Gödel in 1932 showed that intuitionistic logic is not a finitely-many valued logic, and defined a system of Gödel logics intermediate between classical and intuitionistic logic; such logics are known as intermediate logics.
Курт Гедел во 1932 г. покажал дека интуиционистичката логика не е бесконечновредносна логика, и дефинирал систем наречен „Геделова логика“ во средина помеѓу класичната и интуиционистичката логика; ваквата логика се нарекува средна логика.