Empezó a trabajar en la independencia de “continuum hypothesis” a partir del año 1962.