В свое время Гильберт сформулировал 23 проблемы, определяющие перспективы математики в XX веке. На первом месте стояла проблема континуума, вернее, возможность разрешения этой проблемы. То, что ее нельзя опровергнуть доступными средствами математической логики, доказал в 1936 году Гёдель. А вот в 1963 году Пол Коэн сделал нечто, что позволило больше не рассматривать данный вопрос, как проблему.
Приглядитесь к датам, возможно они подскажут, что доказал Коэн?