En su ensayo de dos páginas "Zum intuitionistischen Aussagenkalkül" (1932) Gödel refutó la “valuabilidad” finita de la lógica intuicionista.