Another mention of the underlying problem occurred in a 1956 letter written by Kurt Gödel to John von Neumann.
Outra mención ao problema subxacente aparece nunha carta de 1956 de Kurt Gödel a John von Neumann.