選擇公理有很多等價的表述形式，其中一種比較簡單的表述，大致意思是，對

任意數量的非空集合，總能從每個集合中選出一個元素來構新的集合。因為這
裡面涉及到從一個非空集合裡選擇一個元素的動作，所以這條公理被稱為選擇
公理。這條公理看上去是不是天經地義的？如果是非空集合，裡面至少有一個
元素，那我自然可以選擇出一個元素出來。而問題在於選擇的方法。選擇公理
裡並不要求具體選擇的方法，而是默認可以選擇，這時，如果是有限多的集合
進行選擇是沒問題的，但是從無窮多個集合裡進行選擇，就值得懷疑了。你怎
麼挑？你會發現，你沒法說出一個確切的方法去挑，儘管你知道那麼多非空子
集裡，每個里面都至少有一個元素，而且很多里面還有無窮多個元素，但你就
是無法定義一個確切的方法去挑選。
選擇公理從更準確的角度來講，是對任意的由非空集合構成的集合，默認有一
個叫選擇函數的東西，這個選擇函數可以幫我們從每一個非空集合裡挑出特定
的元素，而不需要特別說明這個選擇函數的內容。選擇公理認為，即使說不出
選擇函數的定義，選擇函數還是存在的。反對選擇公理的人認為，如果不能說
出具體選擇函數的定義，那就不能說存在這樣的函數。因為你沒有一個確切定
義的方法去挑選，那你就連判定一個元素是否被選中都不行，之後有關挑選出
這些的元素構成的集合進行的推理就是無意義的。
最常見的例子就是如果你在證明中用到了非構造性的證明，那多半就用到了選
擇公理。有一個非構造性證明的經典例子，就是問有沒有一個無理數的無理數
次方是有理數？比如√2√2 是有理數還是無理數？雖然你感覺它當然是無理數，
但是證明它並不容易。那我這樣來論證原始命題，如果√2√2 是有理數，那我就
已經找到了一個無理數的無理數次方是有理數的例子。那如果根號 2 的根號 2
次方是無理數，那我就考察這樣一個數，底數就取√2√2，指數是根號√2。這樣
底數和指數都是無理數。然後根據冪指數計算規則，這個數就等於√2√2=2，是
個有理數。那我還是找到了一個無理數的無理數次方是有理數的例子，這個證
明是不是夠巧妙？但是這個證明是非構造性的，也就是我們沒有最終證明√2√2
是無理數還是有理數(雖然已有其他證明√2√2 是超越數，但不再本文討論範圍
內)，只是認為它不是有理數就是無理數。邏輯上我們稱其為“排中律”，也就
是我們默認認為一個命題非真即假。而在某些集合論框架下，“排中律”是選
擇公理的一個推論。所以有些極端反對選擇公理的人，連排中律也是反對的，
也就是“反證法”對他們來說是不成立的。總之，如果你在一個證明里用了“
存在 xxx，使得 xxx 成立”，而你沒有說明“存在 xxx”具體構造的方法，那你基
本就是在用選擇公理了。
方法是這樣的，首先我們用 0 代表白帽子，1 代表黑帽子，無窮多個囚犯戴上
一頂帽子後，等於是產生了一個 0 和 1 構成的無窮序列。現在，囚犯們在測試
開始前，可以做這樣一件事情， 把所有 0 和 1 構成的無窮多個無窮序列歸類。
如果兩個序列符合如下條件，我們就把它們歸為一類：如果兩個序列在某一位
之後，它們的序列就完全相同，就把它們歸為一類。例如如果兩個序列從第 1
百萬位之後都相同了，那這兩個序列就歸為一類。但我們並不要求 100 萬這個
具體的數字，只要序列尾端某位之後所有無窮多位相同，就可以歸為一類。這
樣的話，可以把所有 0 和 1 的序列分類，而且特定的一個序列，只可能在一類
裡面，因為如果一個序列在兩類裡面，那這兩類肯定也可以合併，因為它們末
尾肯定有無窮長的相同序列。