1. Stanford Encyclopedia of Philosophy: Set theory by Thomas Jech.

Georg Cantor tại Dự án Phả hệ Toán học Stanford Encyclopedia of Philosophy: Set theory bởi Thomas Jech.

2. Unfortunately this clashes with the standard convention in set theory given above.

Thật không may, điều này đụng độ với quy ước chuẩn trong lý thuyết tập đã nêu ở trên.

3. Cantor's work between 1874 and 1884 is the origin of set theory.

Công trình chính của Cantor những năm 1874-1884 là nguồn gốc của lý thuyết tập hợp.

4. He wrote about three hundred papers, making important contributions to set theory and topology.

Ông đã viết khoảng ba trăm tài liệu, có đóng góp quan trọng để xây dựng lý thuyết tập hợp và tôpô.

5. The paper attempted to prove that the basic tenets of transfinite set theory were false.

Bài viết tìm cách chứng minh rằng những lý luận chủ yếu của lý thuyết tập hợp siêu hạn là sai.

6. In 1888, Cantor published his correspondence with several philosophers on the philosophical implications of his set theory.

Năm 1888, Cantor công bố thư từ của ông với một số triết gia về những ngụ ý triết học của lý thuyết tập hợp.

7. In order to clarify the foundations of mathematics, the fields of mathematical logic and set theory were developed.

Để làm rõ nền tảng toán học, lĩnh vực logic toán học và lý thuyết tập hợp đã được phát triển.

8. In addition, PLT makes use of many other branches of mathematics, including computability theory, category theory, and set theory.

Thêm vào đó, PLT sử dụng nhiều nhánh khác của toán học, bao gồm lý thuyết tính toán, lý thuyết thể loại, và lý thuyết tập hợp.

9. Between 1879 and 1884, Cantor published a series of six articles in Mathematische Annalen that together formed an introduction to his set theory.

Giữa những năm 1879 và 1884, Cantor đã đăng một loạt sáu bài báo trên tờ Mathematische Annalen, cùng với nhau chúng tạo nên một dẫn nhập về lý thuyết tập hợp.

10. In set theory, a common convention is that the language has 2 constants, 0 and 1, and two binary functions · and +, and one unary function −.

Trong lý thuyết tập hợp, một quy ước chung là ngôn ngữ có 2 hằng số, 0 và 1, và hai hàm nhị phân · và +, và một hàm unary -.