“The continuum hypothesis was the first problem on David Hilbert's famous list of 23 problems for 20th-century mathematics.”