tiên đề trong lý thuyết tập hợp
Hình minh họa tiên đề chọn, với mỗi *S**i* và *x**i* lần lượt biểu diễn một bình và một viên bi
(*S**i*) là một họ chỉ số vô hạn các tập hợp với tập chỉ số là các số thực **ℝ**; tức là, với mỗi số thực i có một tập hợp *S**i* chứa ít nhất một, có thể là vô hạn, phần tử. Tiên đề chọn cho phép ta chọn một phần tử tùy ý từ mỗi tập, tạo thành một họ các phần tử (*x**i*) với tập số thực làm chỉ số, trong đó phần tử *x**i* lấy từ tập *S**i*. Tổng quát hơn, họ này có thể được chỉ số bởi một tập I bất kỳ (gọi là tập chỉ số), không nhất thiết phải là **ℝ**.
Trong toán học, **tiên đề chọn** (tiếng Anh: *axiom of choice*) hay **AC**, là một tiên đề trong lý thuyết tập hợp tương đương với phát biểu *một tích Descartes của một tập các tập hợp không rỗng thì không rỗng*. Nói đơn giản hơn, tiên đề chọn cho phép từ một tập các thùng, mỗi thùng chứa ít nhất một vật nào đó, ta có thể chọn đúng một vật từ mỗi thùng, ngay cả khi số thùng là vô hạn. Chính xác hơn, đây là khẳng định với mỗi họ chỉ số (*S**i*)*i* ∈ *I* gồm các tập khác rỗng, tồn tại một họ chỉ số (*x**i*)*i* ∈ *I* gồm các phần tử sao cho *x**i* ∈ *S**i* với mọi *i* ∈ *I*. Tiên đề chọn được Ernst Zermelo phát biểu năm 1904 để hoàn tất chứng minh của ông cho định lý thứ tự tốt.

Trong nhiều trường hợp, việc chọn như thế có thể được thực hiện mà không cần tiên đề chọn, ví dụ như nếu số tập hợp là hữu hạn, hoặc tồn tại một quy tắc chọn – một tính chất phân biệt nào đó đúng với duy nhất một phần tử trong mỗi tập hợp. Một ví dụ là họ các tập hợp chứa số tự nhiên. Từ những tập này, ta luôn có thể chọn phần tử nhỏ nhất, chẳng hạn với các tập {{4, 5, 6}, {10, 12}, {1, 400, 617, 8000}} tập chứa các phần tử nhỏ nhất tương ứng là {4, 10, 1}. Trong trường hợp này, quy tắc "chọn số nhỏ nhất" là một hàm chọn. Ngay cả khi ta có vô hạn tập chứa các số tự nhiên, ta vẫn luôn có thể chọn được số nhỏ nhất từ mỗi tập, tức hàm chọn này có thể được dùng cho mọi họ các tập số tự nhiên. Tuy nhiên, không có hàm chọn nào được biết có thể dùng cho họ tất cả tập con khác rỗng của tập số thực (nếu tồn tại số thực không dựng được). Khi đó, ta phải sử dụng tiên đề chọn.

Bertrand Russell đưa ra một phép so sánh: với mọi tập các đôi giày (có thể vô hạn), ta luôn có thể chọn chiếc giày trái từ mỗi đôi làm lựa chọn, tạo thành một hàm chọn. Mặt khác, với một tập các đôi vớ *vô hạn* (giả sử hai chiếc vớ đều giống nhau), không có cách nào hiển nhiên để định nghĩa một hàm chọn một chiếc vớ từ mỗi đôi, mà không sử dụng tiên đề chọn.

Mặc dù vốn gây ra nhiều tranh cãi, tiên đề chọn hiện nay được hầu hết các nhà toán học sử dụng, và được đưa vào dạng tiêu chuẩn của lý thuyết tập hợp tiên đề, lý thuyết tập hợp Zermelo–Fraenkel với tiên đề chọn (ZFC). Một lý do là bởi một số kết quả toán học được chấp nhận rộng rãi, ví dụ như định lý Tychonoff, cần tiên đề chọn để chứng minh. Các nhà lý thuyết tập hợp hiện nay cũng nghiên cứu các tiên đề không tương thích với tiên đề chọn, ví dụ như tiên đề xác định. Một số ngành của toán học, đặc biệt các nhánh của toán học kiến thiết, tránh việc sử dụng tiên đề chọn.

Phát biểu
---------

Một hàm chọn (còn gọi là cách chọn) là một hàm số f, định nghĩa trên họ X gồm các tập hợp khác rỗng, sao cho với mỗi tập hợp A trong X, *f*(*A*) là một phần tử của A. Với khái niệm này, tiên đề có thể được phát biểu như sau:

**Tiên đề chọn** — Với mọi tập X chứa các tập hợp khác rỗng, tồn tại một hàm chọn f định nghĩa trên X và đưa mỗi tập hợp thuộc X đến một phần tử của tập hợp đó.

Tiên đề có thể được biểu diễn bằng ký hiệu như sau

{\displaystyle \forall X\left[\varnothing \notin X\implies \exists f\colon X\rightarrow \bigcup X\quad \forall A\in X\,(f(A)\in A)\right]\,.}
Từ đây phủ định của tiên đề chọn nói rằng tồn tại một họ các tập hợp khác rỗng mà không có hàm chọn.

Mỗi hàm chọn trên họ X các tập hợp khác rỗng là một phần tử trong tích Descartes của các tập hợp trong X. Mỗi phần tử trong tích Descartes của họ X là một bộ chứa một phần tử từ mỗi tập thuộc X, và do đó ứng với một cách chọn. Tiên đề chọn khẳng định luôn tồn tại một phần tử như thế, và do đó nó tương đương với phát biểu:

Với một họ các tập hợp khác rỗng bất kỳ, tích Descartes của chúng là một tập khác rỗng.
### Danh pháp ZF, AC, và ZFC

Trong bài viết này và trong những cuộc thảo luận khác về tiên đề chọn, các cụm viết tắt sau rất thường gặp:

AC
Tiên đề chọn.
ZF
Lý thuyết tập hợp Zermelo–Fraenkel, không có tiên đề chọn.
ZFC
Lý thuyết tập hợp Zermelo–Fraenkel, bao gồm tiên đề chọn.

### Phát biểu khác

Có nhiều phát biểu khác tương đương với tiên đề chọn. Chúng tương đương theo nghĩa là, sử dụng những tiên đề tập hợp cơ bản khác, từ chúng suy ra tiên đề chọn và từ tiên đề chọn suy ra được chúng.

Một phát biểu tránh việc dùng hàm chọn, thay vào đó là tập giá trị của nó:

Với mọi tập X gồm các tập hợp khác rỗng đôi một rời nhau, tồn tại ít nhất một tập hợp C mà có chung đúng một phần tử với mỗi tập thuộc X.
Một phát biểu khác chỉ xét những tập X là tập lũy thừa của một tập hợp:

Với mọi tập hợp A, tập lũy thừa của A (bỏ tập rỗng) có một hàm chọn.
Những nhà toán học dùng phát biểu này thường chỉ nói *hàm chọn trên A*, với hàm chọn ở đây mang nghĩa là chọn trên tập lũy thừa của A (bỏ tập rỗng), trong khi hàm chọn ở những nơi khác trong bài xác định trên *họ các tập hợp*, hay tập chứa các tập. Với khái niệm hàm chọn trên, tiên đề chọn có thể được phát biểu ngắn gọn thành

Mỗi tập hợp đều có một hàm chọn.
tương đương với

Với mọi tập hợp A tồn tại hàm số f sao cho với mỗi tập con khác rỗng B của A, *f*(*B*) thuộc B.
Mệnh đề phủ định của tiên đề chọn sẽ là:

Tồn tại một tập hợp A sao cho với mọi hàm số f (định nghĩa trên các tập con khác rỗng của A) tồn tại một tập con khác rỗng B của A sao cho *f*(*B*) không thuộc B.
### Giới hạn với họ hữu hạn

Phát biểu của tiên đề chọn không nói cụ thể họ tập khác rỗng là hữu hạn hay vô hạn. Trong trường hợp hữu hạn, phát biểu đó có thể được chứng minh trong lý thuyết tập hợp Zermelo–Fraenkel mà không cần tiên đề chọn (ZF) bằng quy nạp toán học. Trong trường hợp đơn giản nhất, chỉ có *một* tập, một hàm chọn tương ứng với một phần tử duy nhất, khi ấy tiên đề chọn nói có thể mọi tập khác rỗng chứa một phần tử và là hiển nhiên đúng. Tiên đề chọn có thể được coi là phiên bản tổng quát cho tính chất này của các họ hữu hạn lên các họ tùy ý.

Sử dụng
-------

Cho đến cuối thế kỷ 19, tiên đề chọn thường được dùng một cách ngụ ý mà chưa được phát biểu cụ thể. Ví dụ, sau khi chỉ ra tập X chỉ chứa những tập hợp khác rỗng, một nhà toán học có thể nói "gọi *F*(*s*) là một phần tử của s với mọi s thuộc X" để định nghĩa một hàm số F. Nhìn chung, không thể chứng minh F tồn tại mà không dùng tiên đề chọn, tuy nhiên điều này dường như chỉ bắt đầu được để ý từ Zermelo.

Không phải mọi trường hợp đều cần tiên đề chọn. Với những tập hữu hạn X, tiên đề chọn có thể được suy ra từ những tiên đề tập hợp cơ bản khác. Khi ấy, một phát biểu tương đương có thể là nếu ta có một số (hữu hạn) hộp, mỗi hộp chứa ít nhất một vật, thì ta có thể chọn đúng một vật từ mỗi hộp. Ta có thể thực hiện việc chọn bằng cách bắt đầu với hộp thứ nhất, chọn một vật; sang hộp thứ hai, chọn một vật; và cứ thế. Do số hộp là hữu hạn nên quá trình chọn của ta sẽ kết thúc. Kết quả khi ấy là một hàm chọn cụ thể: ứng với mỗi hộp là một vật ta đã chọn (chứng minh chặt chẽ cho tất cả họ hữu hạn sẽ dùng quy nạp toán học để chứng minh "với mỗi số tự nhiên k, mọi họ gồm k tập khác rỗng đều có một hàm chọn"). Tuy nhiên, phương pháp này không thể áp dụng cho họ vô hạn đếm được các tập khác rỗng, khi ấy ta cần tiên đề chọn đếm được. Nếu dùng phương pháp này cho họ vô hạn (*X**i* : *i* ∈ ω) các tập khác rỗng, ở mỗi bước ta chỉ có một hàm chọn cho một phần hữu hạn, chứ không thể tạo ra một hàm chọn cho toàn bộ họ, nếu không có quy tắc nào khác. Một hàm chọn tổng quát không thể được xây dựng trong ZF mà không có tiên đề chọn.

Ví dụ
-----

Bản chất của mỗi tập hợp khác rỗng trong họ tập hợp có thể giúp ta tránh tiên đề chọn, ngay cả với họ vô hạn. Ví dụ, nếu mỗi tập thuộc họ X chỉ chứa các số tự nhiên, ta có thể lấy hàm chọn là hàm giá trị nhỏ nhất của mỗi tập. Điều này cho ta một phép chọn cụ thể một phần tử từ mỗi tập mà không cần đến tiên đề chọn.

Khó khăn xuất hiện trong những trường hợp tổng quát hơn. Nếu ta không thể đưa ra lựa chọn rõ ràng, liệu tập hợp ta chọn có tồn tại? Ví dụ, giả sử tập X là tập tất cả tập con khác rỗng của tập số thực ℝ. Giả sử ta chọn giống như trong trường hợp họ hữu hạn, khi ấy vì X là vô hạn nên quá trình chọn của chúng ta sẽ không bao giờ dừng, và do đó không thể tạo ra một hàm chọn cho toàn bộ X. Tiếp theo ta có thể chọn phần tử nhỏ nhất của mỗi tập, nhưng một số tập con của tập số thực không có phần tử nhỏ nhất, ví dụ như khoảng mở (0,1) không có phần tử nhỏ nhất: nếu x là một số trong khoảng (0,1) thì *x*/2 cũng nằm trong khoảng đó và nhỏ hơn x. Do đó cách chọn này cũng không khả thi.

Một ví dụ khác, xét đường tròn đơn vị S và các tác động lên S bởi nhóm G gồm tất cả các phép quay hữu tỉ, tức những phép quay bởi góc là bội hữu tỉ của số π. Ở đây G là đếm được trong khi S là không đếm được. Do đó S phân thành vô hạn không đếm được các "quỹ đạo" dưới G. Dùng tiên đề chọn, ta có thể lấy một điểm từ mỗi quỹ đạo, tạo thành một tập con không đếm được X của S với tính chất mọi ảnh xoay của nó dưới G đều rời với X. Tập hợp những ảnh xoay đó phân hoạch đường tròn thành một họ vô hạn đếm được các tập con, mỗi tập đều đôi một lệch nhau một góc hữu tỉ. Vì X không đo được với mọi phép đo hữu hạn cộng tính đếm được bất biến quay trên S, việc tìm một thuật toán để chọn một điểm từ mỗi quỹ đạo yêu cầu phải có tiên đề chọn.

Ta có thể chọn phần tử nhỏ nhất từ các tập con của tập số tự nhiên là vì các số tự nhiên được sắp thứ tự tốt: mọi tập con khác rỗng của tập số tự nhiên có một phần tử nhỏ nhất theo thứ tự tự nhiên. Nếu ta nói "Mặc dù thứ tự thông thường của số thực không cho phép ta chọn, có thể có một thứ tự khác của số thực là thứ tự tốt. Khi ấy hàm chọn của ta có thể lấy phần tử nhỏ nhất theo thứ tự tốt đó". Vấn đề khi ấy trở thành tìm một thứ tự tốt cho tập số thực, và điều này hóa ra lại cần có tiên đề chọn; mỗi tập hợp có thứ tự tốt khi và chỉ khi tiên đề chọn là đúng.

Phê bình và chấp nhận
---------------------

Một chứng minh sử dụng tiên đề chọn có thể thừa nhận sự tồn tại của một vật mà không định nghĩa vật đó rõ ràng trong ngôn ngữ lý thuyết đồ thị. Ví dụ, mặc dù từ tiên đề chọn suy ra có một thứ tự tốt cho số thực, có những mô hình lý thuyết tập hợp với tiên đề chọn mà trong đó không thể định nghĩa một thứ tự tốt cho số thực. Tương tự, mặc dù có thể chứng minh sự tồn tại của một tập số thực không đo được Lebesgue sử dụng tiên đề chọn, việc không có tập nào như thế định nghĩa được là nhất quán với ZFC.

Tiên đề chọn chứng minh sự tồn tại của những vật thể mơ hồ này, nhưng không thể bảo đảm chúng có thể được xây dựng, và do đó có thể đi ngược lại với một số nguyên lý triết học.. Vì không có một thứ tự tốt chính tắc nào cho mọi tập hợp, việc xây dựng dựa trên một thứ tự tốt có thể không tạo ra một kết quả chính tắc, ngay cả khi mong muốn một kết quả chính tắc (như trong lý thuyết phạm trù). Đây đã được dùng để phản đối việc sử dụng tiên đề chọn.

Một luận điểm khác chống lại tiên đề chọn là từ nó có thể suy ra sự tồn tại của những vật thể phản trực giác. Một ví dụ là nghịch lý Banach–Tarski nói rằng có thể chia một quả cầu 3 chiều thành một số hữu hạn các mảnh, rồi chỉ dùng phép quay và tịnh tiến, ráp chúng lại thành hai quả cầu giống hệt quả cầu ban đầu. Những mảnh ghép trong việc phân chia này được xây dựng bằng tiên đề chọn và là tập hợp không đo được.

Mặc cho những kết quả nghịch lý này, hầu hết các nhà toán học công nhận tiên đề chọn là đúng trong quá trình chứng minh toán học. Cuộc tranh luận cũng đặt ra một số câu hỏi thú vị, trong đó có những định lý trong ZFC (ZF + AC) là tương đương logic với tiên đề chọn (sử dụng các tiên đề ZF).

Có thể chứng minh nhiều định lý mà không cần cả tiên đề chọn lẫn phủ định của nó; những định lý đó sẽ đúng trong bất cứ mô hình nào của ZF, bất kể tính đúng sai của tiên đề chọn trong mô hình đó. Khi giới hạn trong ZF, một mệnh đề dựa trên tiên đề chọn hoặc phủ định của nó là không thể chứng minh được. Ví dụ, nghịch lý Banach–Tarski không thể được chứng minh là đúng hoặc sai chỉ trong ZF: không thể xây dựng một cách chia quả cầu đơn vị trong ZF, nhưng cũng không thể chứng minh là không có cách chia nào tồn tại. Những mệnh đề như nghịch lý Banach–Tarski có thể được phát biểu lại thành mệnh đề điều kiện, ví dụ như, "Nếu tiên đề chọn là đúng, thì tồn tại cách chia quả cầu như trong nghịch lý Banach–Tarski". Những mệnh đề điều kiện như thể có thể được chứng minh trong ZF nếu mệnh đề gốc có thể được chứng minh trong ZFC.

Trong toán học kiến thiết
-------------------------

Như đã nói ở trên, trong ZFC, từ tiên đề chọn ta có thể đưa ra những "chứng minh không kiến thiết" trong đó sự tồn tại của một vật thể được chứng minh, nhưng không có ví dụ nào được đưa ra. Tuy nhiên, ZFC vẫn được phát biểu chặt chẽ trong logic cổ điển. Tiên đề chọn cũng đã được nghiên cứu trong bối cảnh toán học kiến thiết, sử dụng logic phi cổ điển.

Trong lý thuyết hình thái Martin-Löf và số học Heyting bậc cao, phát biểu phù hợp của tiên đề chọn được bao gồm làm một tiên đề hoặc có thể chứng minh dưới dạng định lý. Errett Bishop cho rằng tiên đề chọn là chấp nhận được về mặt kiến thiết, nói

> Một hàm chọn tồn tại trong toán học kiến thiết, bởi sự lựa chọn được suy ra từ chính bản chất của tồn tại.
> 
> 
> 

Tuy nhiên, trong lý thuyết tập hợp kiến thiết, định lý Diaconescu cho thấy tiên đề chọn kéo theo luật bài trung (điều này không đúng trong lý thuyết hình thái Martin-Löf). Do đó tiên đề chọn thường không được sử dụng trong lý thuyết tập hợp kiến thiết. Một lý do cho sự khác nhau này đó là trong lý thuyết hình thái, tiên đề chọn không có tính ngoại diên như tiên đề chọn trong lý thuyết tập hợp kiến thiết.

Một số kết quả trong lý thuyết tập hợp kiến thiết sử dụng tiên đề chọn đếm được hoặc tiên đề chọn phụ thuộc, mà không bao hàm luật bài trung. Mặc dù tiên đề chọn đếm được tương đối thông dụng trong toán học kiến thiết, việc sử dụng nó cũng đặt ra một số nghi vấn.

Tính độc lập
------------

Xem thêm: Danh sách mệnh đề độc lập với ZFC
Năm 1938, Kurt Gödel chỉ ra rằng *phủ định* của tiên đề chọn không thể được chứng minh trong ZF bằng cách xây dựng một nội mô hình (một vũ trụ dựng được) thỏa mãn ZFC và từ đó cho thấy ZFC là nhất quán nếu bản thân ZF nhất quán. Năm 1963, Paul Cohen sử dụng kỹ thuật ép (forcing), để chỉ ra rằng, giả sử ZF là nhất quán, tiên đề chọn không thể được chứng minh trong ZF. Ông xây dựng một mô hình phức tạp hơn nhiều thỏa mãn ZF¬C (ZF với phủ định của AC) và từ đó chứng minh rằng ZF¬C là nhất quán.

Những kết quả này cho thấy tiên đề chọn độc lập logic với ZF. Giả định ZF là nhất quán không ảnh hưởng gì vì nếu không nhất quán, việc thêm một tiên đề không tác động đến các kết quả đã có. Bởi sự độc lập này, ta không thể dựa vào những tiên đề khác trong lý thuyết tập hợp để quyết định có dùng tiên đề chọn hay không.

Một luận điểm thường được đưa ra cho tiên đề chọn là nó giúp ta chứng minh một số định đề mà nếu không dùng AC sẽ không thể chứng minh được. Nhiều định lý chứng minh dùng tiên đề chọn có một tính tổng quát đẹp: mọi ideal trong một vành chứa trong một ideal tối đại, mọi không gian vectơ có một đại số, và mọi tích của không gian compact là compact. Không có tiên đề chọn, những định lý này có thể sai với những vật thể toán học có lực lượng lớn.

Kết quả độc lập này cũng cho thấy một lớp các mệnh đề toán học, bao gồm tất cả những mệnh đó có thể được phát biểu trong ngôn ngữ số học Peano, là chứng minh được trong ZF nếu và chỉ nếu nó chứng minh được trong ZFC. Những mệnh đề trong lớp này bao gồm mệnh đề khẳng định P = NP, giả thuyết Riemann, và nhiều bài toán chưa có lời giải khác. Khi tìm lời giải cho những bài toán thuộc lớp này, việc sử dụng ZF hay ZFC không khác gì nhau nếu câu hỏi duy nhất là tồn tại một chứng minh. Tuy nhiên, đôi khi chứng minh trong ZFC ngắn hơn là trong ZF.

Tiên đề chọn không phải là mệnh đề quan trọng duy nhất độc lập với ZF. Ví dụ, giả thuyết continuum tổng quát (GCH) không chỉ độc lập với ZF mà còn độc lập với cả ZFC. Tuy nhiên, ZF + GCH kéo theo AC, khiến GCH là mệnh đề mạnh hơn AC, mặc dù cả hai đều độc lập với ZF.

Tiên đề mạnh hơn
----------------

Tiên đề tính dựng được và giả thuyết continuum tổng quát đều bao hàm tiên đề chọn và vì vậy mạnh hơn nó. Trong những thuyết lớp như lý thuyết tập hợp von Neumann–Bernays–Gödel và lý thuyết tập hợp Morse–Kelley, tồn tại một tiên đề gọi là tiên đề chọn toàn cục, mạnh hơn tiên đề chọn cho tập hợp bởi nó cũng áp dụng cho các lớp chính quy. Tiên đề chọn toàn cục có thể được suy ra từ tiên đề giới hạn kích thước. Một tiên đề khác mạnh hơn tiên đề chọn là tiên đề Tarski, được dùng trong lý thuyết tập hợp Tarski–Grothendieck và phát biểu rằng mỗi tập hợp thuộc về một vũ trụ Grothendieck nào đó.

Tương đương
-----------

Có nhiều mệnh đề quan trọng mà trong hệ tiên đề ZF nhưng không có AC lẫn ¬AC, là tương đương với tiên đề chọn. Những mệnh đề quan trọng nhất là bổ đề Zorn và định lý thứ tự tốt. Thực tế, Zermelo ban đầu đưa ra tiên đề chọn để có thể hoàn thành chứng minh định lý thứ tự tốt của mình.

* Lý thuyết tập hợp
	+ Định lý thứ tự tốt: Mọi tập hợp đều có thể được sắp thứ tự tốt. Hệ quả là mọi số đếm có một số thứ tự ban đầu.
	+ Định lý Tarski về lựa chọn: Với mọi tập vô hạn A, tồn tại một song ánh giữa các tập hợp A và *A*×*A*.
	+ Tam phân: Giữa hai tập hợp, hoặc chúng có cùng lực lượng, hoặc một tập hợp có lực lượng nhỏ hơn tập hợp kia.
	+ Cho hai tập hợp khác rỗng, tồn tại một toàn ánh từ một tập này sang tập còn lại.
	+ Tích Descartes của mọi họ các tập khác rỗng là khác rỗng.
	+ Định lý König: Nói đơn giản, tổng một chuỗi các số đếm là bé hơn tích của chuỗi các số đếm lớn hơn. ("nói đơn giản" là vì tổng hay tích của một "chuỗi" các số đếm không thể được định nghĩa mà không có một số yếu tố của tiên đề chọn.)
	+ Mọi toàn ánh có một hàm ngược bên phải.
* Lý thuyết thứ tự
	+ Bổ đề Zorn: Mọi tập sắp thứ tự một phần khác rỗng trong đó mọi xích (tức tập con sắp thứ tự toàn phần) có cận trên chứa ít nhất một phần tử tối đại.
	+ Nguyên lý tối đại Hausdorff: Trong một tập sắp thứ tự một phần, mọi tập con sắp thứ tự toàn phần được chứa trong một tập con sắp thứ tự toàn phần tối đại. Nguyên lý yếu hơn "Mọi tập sắp thứ tự một phần có một tập con sắp thứ tự toàn phần tối đại" cũng tương đương với AC trong ZF.
	+ Bổ đề Tukey: Mọi họ có đặc trưng hữu hạn có một phần tử tối đại đối với phép chứa.
	+ Nguyên lý đối xích: Mọi tập sắp thứ tự một phần có một đối xích tối đại.
* Đại số trừu tượng
	+ Mọi không gian vectơ có một cơ sở.
	+ Định lý Krull: Mọi vành có đơn vị không tầm thường chứa một ideal tối đại.
	+ Với mọi tập khác rỗng S tồn tại phép toán hai ngôi định nghĩa trên S biến nó thành nhóm. (Một phép toán hai ngôi có tính giản ước là đủ, xem cấu trúc nhóm và tiên đề chọn.)
	+ Mọi tập hợp là một đối tượng xạ ảnh trong phạm trù **Set** của các tập hợp.
* Tôpô tập điểm
	+ Định lý Tychonoff: Mọi tích của các không gian tôpô compact thì compact.
	+ Trong không gian tôpô tích, đóng của tích các tập con bằng tích của các đóng.
* Logic toán học
	+ Nếu S là một tập các phát biểu logic bậc nhất và B là một tập con nhất quán của S thì B được chứa trong một tập tối đại trong số những tập con nhất quán của S.
* Lý thuyết đồ thị
	+ Mọi đồ thị liên thông có một cây bao trùm.

Chú thích
---------

1. ↑  Zermelo 1904.
2. ↑  Jech 1977, tr. 351
3. ↑  Jech, 1977, p. 348*ff*; Martin-Löf 2008, p. 210. Theo Mendelson 1964, tr. 201:
The status of the Axiom of Choice has become less controversial in recent years. To most mathematicians it seems quite plausible and it has so many important applications in practically all branches of mathematics that not to accept it would seem to be a wilful hobbling of the practicing mathematician.
4. ↑  Herrlich 2006, tr. 9. Theo Suppes 1972, tr. 243, phát biểu này do Zermelo 1904 đưa ra. Xem thêm Halmos 1960, tr. 60.
5. ↑  Suppes 1972, tr. 240.
6. ↑  Tourlakis (2003), pp. 209–210, 215–216.
7. ↑  Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Lévy, Azriel (1973), *Foundations of set theory* (ấn bản 2), Amsterdam-London: North-Holland Publishing Co. tr. 69–70, ISBN 9780080887050, MR 0345816.
8. ↑  Rosenbloom, Paul C. (2005), *The Elements of Mathematical Logic*, Courier Dover Publications, tr. 147, ISBN 9780486446172.
9. ↑  Dawson, J. W. (tháng 8 năm 2006), "Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science", *Proc. 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006)*, tr. 339–341, doi:10.1109/LICS.2006.47, ISBN 978-0-7695-2631-7, S2CID 15526447, The axiom of choice, though it had been employed unconsciously in many arguments in analysis, became controversial once made explicit, not only because of its non-constructive character, but because it implied such extremely unintuitive consequences as the Banach–Tarski paradox.
10. ↑  Per Martin-Löf, *Intuitionistic type theory*, 1980. Anne Sjerp Troelstra, *Metamathematical investigation of intuitionistic arithmetic and analysis*, Springer, 1973.
11. ↑  Errett Bishop và Douglas S. Bridges, *Constructive analysis*, Springer-Verlag, 1985.
12. ↑  Martin-Löf, Per (2006). "100 Years of Zermelo's Axiom of Choice: What was the Problem with It?". *The Computer Journal*. **49** (3): 345–350. Bibcode:1980CompJ..23..262L. doi:10.1093/comjnl/bxh162.
13. ↑  Richman, Fred (2001). "Constructive Mathematics without Choice". *Reuniting the Antipodes — Constructive and Nonstandard Views of the Continuum*. Dordrecht: Springer Netherlands. tr. 199–205. doi:10.1007/978-94-015-9757-9\_17.
14. ↑  Gödel, Kurt (ngày 9 tháng 11 năm 1938). "The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis". *Proceedings of the National Academy of Sciences of the United States of America*. **24** (12): 556–557. Bibcode:1938PNAS...24..556G. doi:10.1073/pnas.24.12.556. PMC 1077160. PMID 16577857.
15. ↑  Cohen, Paul (2019). "The Independence of the Axiom of Choice" (PDF). *Stanford University Libraries*. Truy cập ngày 22 tháng 3 năm 2019.
16. ↑  Điều này là bởi những mệnh đề số học là tuyệt đối với vũ trụ dựng được L. Định lý tính tuyệt đối Shoenfield là một kết quả tổng quát hơn.
17. ↑  Xem Moore 2013, tr. 330–334, danh sách 74 mệnh đề tương đương. Xem Howard & Rubin 1998, tr. 11–16, danh sách 86 mệnh đề tương đương với nguồn tham khảo.
18. ↑  Blass, Andreas (1984). "Existence of bases implies the axiom of choice". *Axiomatic set theory (Boulder, Colo. 1983)*. Contemporary Mathematics. **31**. Providence, RI: American Mathematical Society. tr. 31–33. doi:10.1090/conm/031/763890. MR 0763890.
19. ↑  A. Hajnal, A. Kertész: Some new algebraic equivalents of the axiom of choice, *Publ. Math. Debrecen*, **19**(1972), 339–340, see also H. Rubin, J. Rubin, *Equivalents of the axiom of choice, II*, North-Holland, 1985, p. 111.
20. ↑  Awodey, Steve (2010). *Category theory* (ấn bản 2). Oxford: Oxford University Press. tr. 20–24. ISBN 978-0199237180. OCLC 740446073.
21. ↑  projective object tại *nLab*
22. ↑  Serre, Jean-Pierre (2003), *Trees*, Springer Monographs in Mathematics, Springer, tr. 23; Soukup, Lajos (2008), "Infinite combinatorics: from finite to infinite", *Horizons of combinatorics*, Bolyai Society Mathematical Studies, **17**, Berlin: Springer, tr. 189–213, CiteSeerX 10.1.1.222.5699, doi:10.1007/978-3-540-77200-2\_10, ISBN 978-3-540-77199-9, MR 2432534. Định lý 2.1, pp. 192–193.

Tham khảo
---------

* Halmos, Paul R. (1960). *Naive Set Theory*. The University Series in Undergraduate Mathematics. Princeton, NJ: van Nostrand Company. Zbl 0087.04403.
* Herrlich, Horst (2006). *Axiom of Choice*. Lecture Notes in Math. 1876. Berlin: Springer-Verlag. ISBN 978-3-540-30989-5.
* Howard, Paul; Rubin, Jean E. (1998). *Consequences of the axiom of choice*. Mathematical Surveys and Monographs. **59**. Providence, Rhode Island: American Mathematical Society. ISBN 9780821809778.
* Jech, Thomas (2008) [1973]. *The axiom of choice*. Mineola, New York: Dover Publications. ISBN 978-0-486-46624-8.
* Jech, Thomas (1977). "About the Axiom of Choice". Trong John Barwise (biên tập). *Handbook of Mathematical Logic*.
* Lévy, Azriel (1958). "The independence of various definitions of finiteness" (PDF). *Fundamenta Mathematicae*. **46**: 1–13. doi:10.4064/fm-46-1-1-13.
* Per Martin-Löf, "100 years of Zermelo's axiom of choice: What was the problem with it?", in *Logicism, Intuitionism, and Formalism: What Has Become of Them?*, Sten Lindström, Erik Palmgren, Krister Segerberg, and Viggo Stoltenberg-Hansen, editors (2008). ISBN 1-4020-8925-2
* Mendelson, Elliott (1964). *Introduction to Mathematical Logic*. New York: Van Nostrand Reinhold.
* Moore, Gregory H. (1982). *Zermelo's axiom of choice, Its origins, development and influence*. Springer. ISBN 978-0-387-90670-6. available as a Dover Publications reprint, 2013, ISBN 0-486-48841-1.
* Moore, Gregory H (2013) [1982]. *Zermelo's axiom of choice: Its origins, development & influence*. Mineola, New York: Dover Publications. ISBN 978-0-486-48841-7.
* Rubin, Herman (1970). *Equivalents of the axiom of choice*. Amsterdam: North-Holland Pub. Co. ISBN 0-7204-2225-6.
* Rubin, Herman (1985). *Equivalents of the axiom of choice, II*. Amsterdam New York New York, N.Y. U.S.A: North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. ISBN 0-444-87708-8.
* Russell, Bertrand (1993) [1919]. *Introduction to mathematical philosophy*. New York: Dover Publications. ISBN 978-0-486-27724-0.
* Suppes, Patrick (1972) [1960]. *Axiomatic set theory*. Mineola, New York: Dover. ISBN 978-0-486-61630-8.
* George Tourlakis, *Lectures in Logic and Set Theory. Vol. II: Set Theory*, Cambridge University Press, 2003. ISBN 0-511-06659-7
* Zermelo, Ernst (1904). "Beweis, dass jede Menge wohlgeordnet werden kann" (reprint). *Mathematische Annalen*. **59** (4): 514–16. doi:10.1007/BF01445300. S2CID 124189935.
* Ernst Zermelo, "Untersuchungen über die Grundlagen der Mengenlehre I," *Mathematische Annalen 65*: (1908) pp. 261–81. PDF download via digizeitschriften.de

Translated in: Jean van Heijenoort, 2002. *From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931*. New edition. Harvard University Press. ISBN 0-674-32449-8
* 1904. "Proof that every set can be well-ordered," 139-41.
* 1908. "Investigations in the foundations of set theory I," 199–215.

Liên kết ngoài
--------------

* Axiom of Choice trong Springer Encyclopedia of Mathematics.
* Axiom of Choice and Its Equivalents tại ProvenMath.
* Consequences of the Axiom of Choice Lưu trữ 2021-05-15 tại Wayback Machine, based on the book by Paul Howard Lưu trữ 2021-02-26 tại Wayback Machine and Jean Rubin.
* Mục nhập "The Axiom of Choice" bởi John Lane Bell trong *Bách khoa Toàn thư Triết học Stanford*

.

| * x
* t
* s
Lý thuyết tập hợp |
| --- |
| Tiên đề | 
* Tiên đề cặp
* Tiên đề chính tắc
* Tiên đề chọn
	+ đếm được
	+ phụ thuộc
	+ toàn cục
* Tiên đề giới hạn kích thước
* Tiên đề hợp
* Tiên đề mở rộng
* Tiên đề nối
* Tiên đề tập lũy thừa
* Tiên đề tính dựng được
* Tiên đề vô hạn
* Tiên đề Martin

* Sơ đồ tiên đề
	+ thay thế
	+ tuyển lựa

 | Biểu đồ Venn hai tập hợp giao nhau |
| Phép toán | 
* Tích Descartes
* Phần bù
* Luật De Morgan
* Phép giao
* Tập lũy thừa
* Phép hợp
* Liên hiệp rời rạc
* Hiệu đối xứng

 |
| * Khái niệm
* Phương pháp
 | 
* Lực lượng
* Số đếm (lớn)
* Lớp (lý thuyết tập hợp)
* Vũ trụ kiến thiết
* Giả thiết continuum
* Lập luận đường chéo
* Phần tử (cặp được sắp, bộ)
* Họ
* Ép
* Song ánh
* Số thứ tự
* Quy nạp siêu hạn
* Sơ đồ Venn

 |
| Các dạng tập hợp | 
* Đếm được
* Rỗng
* Hữu hạn (di truyền)
* Mờ
* Vô hạn
	+ vô hạn Dedekind
* Tính được
* Tập con ⋅ Tập chứa
* Đơn điểm
* Bắc cầu
* Không đếm được
* Tập hợp phổ dụng

 |
| Lý thuyết | 
* Lý thuyết tập hợp thay thế
* Lý thuyết tập hợp tiên đề
* Lý thuyết tập hợp ngây thơ
* Định lý Cantor

* Zermelo
	+ Tổng quát
* *Principia Mathematica*
	+ New Foundations
* Zermelo–Fraenkel
	+ von Neumann–Bernays–Gödel 
		- Morse–Kelley
	+ Kripke–Platek
	+ Tarski–Grothendieck

 |
| * Nghịch lý
* Vấn đề
 | 
* Nghịch lý Russell
* Bài toán Suslin
* Nghịch lý Burali-Forti

 |
| Nhà lý thuyết tập hợp | 
* Abraham Fraenkel
* Bertrand Russell
* Ernst Zermelo
* Georg Cantor
* John von Neumann
* Kurt Gödel
* Paul Bernays
* Paul Cohen
* Richard Dedekind
* Thomas Jech
* Thoralf Skolem
* Willard Quine

 |
| Thể loại |

| * x
* t
* s
Logic toán |
| --- |
| Chung | 
* Ngôn ngữ hình thức
* Formation rule
* Hệ hình thức
* Hệ suy luận
* Chứng minh hình thức
* Ngữ nghĩa hình thức (logic)
* Well-formed formula
* Tập hợp
* Phần tử (toán học)
* Lớp (lý thuyết tập hợp)
* Classical logic
* Tiên đề
* Natural deduction
* Rule of inference
* Quan hệ (toán học)
* Định lý toán học
* Logical consequence
* Hệ tiên đề
* Lý thuyết hình thái
* Symbol (formal)
* Syntax (logic)
* Lý thuyết (logic toán)

 |
| Thuật ngữ logic | 
* Mệnh đề toán học
* Suy luận
* Luận cứ logic
* Validity
* Cogency
* Tam đoạn luận
* Square of opposition
* Sơ đồ Venn

 |
| Propositional calculusĐại số Boole | 
* Boolean functions
* Phép tính mệnh đề
* Công thức mệnh đề
* Logical connectives
* Truth tables

 |
| Logic vị từ | 
* Logic bậc nhất
* Lượng từ (logic)
* Predicate (mathematical logic)
* Logic bậc hai
* Monadic predicate calculus

 |
| Naive set theory | 
* Tập hợp
* Tập hợp rỗng
* Enumeration
* Extensionality
* Tập hợp hữu hạn
* Tập hợp vô hạn
* Tập hợp con
* Tập lũy thừa
* Tập hợp đếm được
* Tập hợp không đếm được
* Recursive set
* Tập xác định
* Range (mathematics)
* Ánh xạ
	+ Song ánh
	+ Đơn ánh
	+ Toàn ánh
* Hàm số
* Phép toán hai ngôi
* Cặp được sắp

 |
| Lý thuyết tập hợp | 
* Nền tảng toán học
* Lý thuyết tập hợp Zermelo–Fraenkel
* Tiên đề chọn
* General set theory
* Lý thuyết tập hợp Kripke–Platek
* Lý thuyết tập hợp Von Neumann–Bernays–Gödel
* Lý thuyết tập hợp Morse–Kelley
* Lý thuyết tập hợp Tarski–Grothendieck
	+ Phép đẳng cấu

 |
| Lý thuyết mô hình | 
* Cấu trúc (logic toán)
* Interpretation (logic)
* Non-standard model
* Lý thuyết mô hình hữu hạn
* Giá trị chân lý
* Validity

 |
| Lý thuyết chứng minh | 
* Formal proof
* Deductive system
* Hệ hình thức
* Định lý toán học
* Hệ quả logic
* Rule of inference
* Syntax (logic)

 |
| Lý thuyết tính toán | 
* Đệ quy
* Tập đệ quy
* Tập tuần tự đệ quy
* Bài toán quyết định
* Church–Turing thesis
* Hàm tính được
* Primitive recursive function

 |

|  |  |
| --- | --- |
| Tiêu đề chuẩn Sửa dữ liệu tại Wikidata | 
* GND: 4143673-8
* LCCN: sh85010586
* NDL: 00570783

 |