้ธๆๅ
ฌ็
axiom of choice
้ธๅบๅ
ฌ็
็ด็ฉ้ๅใซใคใใฆใ็นใซIใ็ก้้ๅใฎๆใๆฌกใๅ
ฌ็ใจใใฆไปฎๅฎใใ $ X_i \ne \phi (i \in I) \Longrightarrow \prod_{i \in I} X_i \ne \phi
้ๅๆใฎๅ้ๅใใในใฆ็ฉบ้ๅใงใชใใชใใใใฎ็ด็ฉใ็ฉบ้ๅใงใชใ
ๅๅคใชๅฝ้ก
ใใใฏๅ
ฌ็ใงใใใ้ใซ่จใใฐใใใฏๅฎ็ใงใฏใชใใฎใง่จผๆใใใชใ
็ก้ใซ้ธๆใใงใใใใฟใใใชใคใกใผใธ
ไปๆฅใใฎๅฝ้กใ้่ฆใจใใใฆใใใ
ใใใซๆณจ็ฎใใๅ
ฌ็ใจใใฆๆๅบใใใฎใฏZermelo(1904)