dec 29, 1962 - Континуум-гипотеза Кантора недоказуема (в обычной аксиоматике теории множеств).

Description:

Публикация в 1963 году доказательства невозможности доказательства континуум-гипотезы в аксиоматике Цермело — Френкеля с аксиомой выбора, и доказательство независимости аксиомы выбора от остальных аксиом Цермело — Френкеля.

Added to timeline:

Date: