Khác biệt giữa bản sửa đổi của “Lý thuyết tập hợp Zermelo–Fraenkel”

Nội dung được xóa Nội dung được thêm vào
Không có tóm lược sửa đổi
Dòng 1:
Trong [[lý thuyết tập hợp]], '''lý thuyết''' '''tập hợp''' '''Zermelo-Fraenkel''', được đặt theo tên của các nhà toán học Ernst Zermelo và Abraham Fraenkel, là một hệ thống tiên đề được đề xuất vào đầu thế kỷ XX để xây dựng một [[lý thuyết tập hợp]] không còn các nghịch lý như [[Nghịch lý Russell|nghịch lý của Russell]].
 
Lý thuyết tập hợp Zermelo-Fraenkel thường được ký hiệu là ZF. Lý thuyết tập hợp Zermelo-Fraenkel cùng với [[tiên đề chọn]] được ký hiệu là ZFC.