Category:選択公理

Axiom of choice

Axiom of countable choice

Boolean prime ideal theorem

Kőnig's theorem (set theory)

Teichmüller–Tukey lemma

Spanning tree

Kőnig's lemma

Axiom of dependent choice

Tychonoff's theorem

Zorn's lemma