Aunque en un principio era algo un tanto escéptico, alrededor del año 1946, Gödel defendió esta tesis: