In his two-page paper Zum intuitionistischen Aussagenkalkül (1932) Gödel refuted the finite-valuedness of intuitionistic logic.
Во својата двострана книга "Zum intuitionistischen Aussagenkalkül" (1932), Годел го отфрлил начинот на вреднување на интуициската логика.