Hilbert's first problem