Hilbert hidup selawas 12 tahun sesudahnya Kurt Gödel manarbit akan teoremanya, tetapi pinanya kada menulis tanggapan formal apa pun tehadao karya Gödel.