Lý thuyết tập hợp
Lịch sử > Thế kỷ 19

Lý thuyết tập hợp được sáng lập bởi Georg Cantor trong những năm 1874 đến năm 1897. Thay cho thuật ngữ "tập hợp", ban đầu ông ta đã sử dụng những từ như "biểu hiện" (inbegriff) hoặc "sự đa dạng" (Mannigfaltigkeit); Về tập hợp và Lý thuyết tập hợp, ông chỉ nói sau đó. Năm 1895, ông đã diễn tả định nghĩa sau:
| 0 | 1 | 2 |
| --- | --- | --- |
| “ | Qua một "tập hợp", chúng ta hiểu là bất kỳ một tổng hợp M của một số vật thể m khác nhau được xác định rõ ràng trong quan điểm hoặc suy nghĩ của chúng ta (được gọi là "các phần tử" của M) thành một tổng thể. | ” |
Cantor phân loại các tập hợp, đặc biệt là những tập hợp vô hạn, theo Lực lượng của chúng. Đối với tập hợp hữu hạn, đây là số lượng các phần tử của chúng. Ông gọi hai tập hợp " có lực lượng bằng nhau" khi chúng được ánh xạ song ánh với nhau, tức là khi có một mối quan hệ một-một giữa các phần tử của chúng. Cái được định nghĩa là sự đồng nhất lực lượng là một quan hệ tương đương, và một lực lượng hay số phần tử của một tập hợp M theo Cantor, là lớp tương đương của các tập hợp có lực lượng bằng M. Ông là người đầu tiên quan sát thấy rằng có những lực lượng vô hạn khác nhau. Tập hợp các số tự nhiên, và tất cả các tập hợp có lực lượng bằng nó, được Cantor gọi là 'Tập hợp đếm được, tất cả các tập hợp vô hạn khác được gọi là tập hợp không đếm được.
Tập hợp của số tự nhiên, số hữu tỉ (lập luận chéo đầu tiên của Cantor) và số đại số là đếm được và có lực lượng bằng nhau.
Tập hợp số thực có lực lượng lớn hơn so với các số tự nhiên, đó là không đếm được (luận chéo thứ hai của Cantor).
Tập hợp của tất cả các tập hợp con của một tập hợp  M  luôn luôn có lực lượng lớn hơn là  M , mà còn được gọi là định lý Cantor.
Từ bất kỳ hai tập hợp có ít nhất một tập hợp cùng lực lượng với một tập hợp con của tập hợp kia.
Có rất nhiều lực lượng của tập hợp không đếm được.
Cantor gọi  Giả thiết continuum  là "có một lực lượng ở giữa tập hợp các số tự nhiên và tập hợp các số thực " Ông đã cố gắng để giải quyết, nhưng không thành công. Sau đó nó bật ra rằng vấn đề này trên nguyên tắc không quyết định được.
Ngoài Cantor, Richard Dedekind là một nhà tiên phong quan trọng của lý thuyết về lý thuyết tập hợp. Ông đã nói về các "hệ thống" thay vì tập hợp và phát triển một cấu trúc lý thuyết tập hợp của các con số thực vào năm 1872, một số lượng lý thuyết xây dựng số thực [2] và 1888 nói về tiên đề hóa lý thuyết tập hợp các con số tự nhiên. Ông là người đầu tiên tạo ra công thức tiên đề Axiom of extensionality của lý thuyết tập hợp.
Ngay từ năm 1889, Giuseppe Peano, người đã miêu tả tập hợp là các tầng lớp, đã tạo ra cách tính toán bằng công thức logic các tầng lớp đầu tiên làm cơ sở cho số học của ông với các tiên đề Peano, mà ông đã mô tả lần đầu tiên trong một ngôn ngữ lý thuyết tập hợp chính xác. Do đó ông đã phát triển cơ sở cho ngông ngữ công thức ngày nay của lý thuyết tập hợp và giới thiệu nhiều biểu tượng được phổ biến ngày nay, đặc biệt là ký hiệu phần tử  \in , được đọc là là "phần tử của". Trong khi đó  \in  là chữ viết thường của ε (epsilon) của từ ἐστί (tiếng Hy Lạp: "là").
Gottlob Frege đã cố gắng đưa ra một lý giải lý thuyết tập hợp khác của lý thuyết về số học vào năm 1893. Bertrand Russell đã phát hiện ra mâu thuẫn của nó vào năm 1902, được biết đến như là Nghịch lý Russell. Sự mâu thuẫn này và các mâu thuẫn khác nảy sinh do sự thiết lập tập hợp không hạn chế, đó là lý do tại sao dạng thức ban đầu của lý thuyết tập hợp sau này được gọi là lý thuyết tập hợp ngây thơ. Tuy nhiên, định nghĩa của Cantor không có ý muốn nói tới một lý thuyết tập hợp ngây thơ như vậy, như chứng minh của ông về loại tất cả là Nichtmenge cho thấy bởi nghịch lý Cantor thứ hai [6].
Học thuyết của Cantor về lý thuyết tập hợp hầu như không được công nhận bởi những người đương thời về vai trò quan trọng của nó, và không được coi là bước tiến cách mạng, mà đã bị một số các nhà toán học như Leopold Kronecker không chấp nhận. Thậm chí nhiều hơn, nó còn bị mang tiếng khi các nghịch lý được biết tới, ví dụ như Henri Poincaré, chế diễu, "Logic không còn hoàn toàn, bây giờ nó tạo ra những mâu thuẫn."