Wikipedia

Khác biệt giữa bản sửa đổi của “Lý thuyết tập hợp ngây thơ”

Duyệt lịch sử tương tác
← Thay đổi trướcThay đổi sau →
Nội dung được xóa Nội dung được thêm vào
Trực quanMã wiki
n clean up, General fixes, replaced: →
Dòng 11:
*Trình bày không chính thức về lý thuyết tập hợp tiên đề, ví dụ như trong Lý thuyết tập hợp ngây thơ của [[Paul Halmos]].
*Các phiên bản sớm hoặc muộn hơn của lý thuyết của Georg Cantor và các hệ thống không chính thức khác.
*Các lý thuyết rõ ràng là không nhất quán (dù là tiên đề hay không), chẳng hạn như lý thuyết của Gottlob Frege mang lại nghịch[[Nghịch lý của Russell]] và các lý thuyết của [[Giuseppe Peano]] và [[Richard Dedekind]].
 
===Nghịch lý===
Giả định cho rằng bất kỳ thuộc tính nào cũng có thể được sử dụng để tạo thành một tập hợp, mà không hạn chế, dẫn đến nghịch lý. Một ví dụ phổ biến là [[nghịchNghịch lý Russell]]: không có tập hợp nào bao gồm "tất cả các tập hợp không chứa chính chúng". Do đó, các hệ thống nhất quán của lý thuyết tập hợp ngây thơ phải bao gồm một số hạn chế về các nguyên tắc có thể được sử dụng để hình thành các tập hợp.
 
===Lý thuyết tiên đề===
Lấy từ “https://vi.wikipedia.org/wiki/Lý_thuyết_tập_hợp_ngây_thơ”