選擇公理
選

選擇公理　　　xuǎn zé gōng lǐ

集合論公理系統(tǒng)中的一條公理。即任一由非空集合組成的簇F，都有一個(gè)函數(shù)f，使得對(duì)于每一S∈F，f(S)∈S。19世紀(jì)在數(shù)學(xué)的論證中就用到它的一些雛型和等價(jià)命題。1904年策梅羅在證明良序秅恚懇患隙際強(qiáng)閃夾蚧模┦庇玫攪慫⒀細(xì)竦爻率雋慫室渤啤安咼仿薰懟?。人们已经栽燏数、拓扑、数学分析、图论等写夃数学窊雌中发现翍Z撓τ謾⑼坡酆偷燃勖?，但又哆\(yùn)惱沸蘊(yùn)岢雋誦磯嗷騁珊駝邸?938年哥德爾證明了選擇公理相對(duì)于ZF是協(xié)調(diào)的（參見(jiàn)“公理集合論”），1963年科恩(Paul Joseph Cohen, 1934—)證明了它相對(duì)于ZF是獨(dú)立的。