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