seçme ilksavı anlamı İng. axiom of choice
Herhangi bir kümeler kümesine karşılık, bu kümelerden birer öğe seçmekle oluşturulan kümenin varolduğunu dile getiren ilksav.