Xem mã nguồn của Định lý đường chéo Cantor

'''Định lý đường chéo Cantor''' (phát biểu trong [[thế kỉ 19]]) được mang tên nhà [[toán học]] người [[Đức]] [[Georg Cantor|Georg Ferdinand Ludwig Phillip Cantor]] (1845-1918).

Từ ngữ "đường chéo" xuất phát từ phương pháp chứng minh dùng đến [[Lập luận đường chéo của Cantor|cách xử lý theo đường chéo]] của Cantor.

== Phát biểu ==
[[Tập lũy thừa|Tập hợp lũy thừa]] (''power set'') của một tập hợp cho trước <math>X</math> ký hiệu là <math>\xi(X)</math> sẽ có [[Lực lượng (tập hợp)|lực lượng]] hoàn toàn lớn hơn lực lượng của chính tập hợp <math>X</math>. Đặc biệt, các thành phần của <math>X</math> và <math>\xi(X)</math> không thể đặt vào một quan hệ 1-1.''

Trong đó, tập hợp lũy thừa <math>\xi(X)</math> được hiểu là "tập hợp của tất cả các [[Tập hợp con (toán học)|tập con]] của <math>X</math>".

== Hệ quả ==
Tập hợp số thực "lớn hơn" tập hợp [[số tự nhiên]] (vì <math>\mathbb{R} = \xi(\mathbb{N})</math>)

== Chứng minh ==

== Xem thêm ==
* [[Định lý giao điểm Cantor]]

== Tham khảo ==
{{tham khảo}}
* P R Halmos, "Naive Set Theory" (Springer, 1974)

== Liên kết ngoài ==
* {{springer|title=Cantor theorem|id=p/c020260}}
* {{MathWorld |title=Cantor's Theorem |id=CantorsTheorem }}

{{sơ thảo toán học}}
{{Lý luận học}}
{{Lý thuyết tập hợp}}

{{sơ khai}}

[[Thể loại:Định lý toán học|Bertrand, đường chéo]]
[[Thể loại:Lý thuyết tập hợp]]
[[Thể loại:Khoa học năm 1891]]