Khác biệt giữa bản sửa đổi của “Tập hợp (toán học)”
Nội dung được xóa Nội dung được thêm vào
Dòng 170:
Điều này tương đương với:
:::<math>2^{\aleph_0} = \aleph_1</math>
Cantor phát biểu giả thuyết Continuum năm 1878, và năm 1900 nó là bài toán đầu tiên trong [[Các bài toán của Hilbert|23 bài toán]] Hilbert đưa ra. Kết luận cuối cùng là giả thuyết này độc lập với ZFC, tức là ta có thể khẳng định hay phủ định giả thuyết Continuum, và thêm nó vào như một tiên đề độc lập với ZFC, theo nghĩa nếu ZFC nhất quán thì lý thuyết mới cũng nhất quán. Sự độc lập này được chứng minh năm 1963 bởi Paul Cohen, dựa trên những công trình năm 1940 của Kurt Gödel. Cohen được trao [[Huy chương Fields|giải thưởng Fields]] năm 1966 cho chứng minh này. Giả thuyết Continuum vẫn tiếp tục được nghiên cứu trên những khía cạnh khác.
[[Tiên đề chọn]], [[Các định lý bất toàn của Gödel|định lý bất toàn Godel]] và giả thuyết Continuum là vài trong số những khẳng định đầu tiên được chứng minh là độc lập với ZF. Sau này, nhiều khẳng định khác trong giải tích, tô-pô và lý thuyết độ đo cũng được chứng minh là độc lập với ZF.
| |||