Category:選択公理

Axiom of dependent choice

Teichmüller–Tukey lemma

Kőnig's theorem (set theory)

Boolean prime ideal theorem

Axiom of countable choice

Spanning tree

Axiom of choice

Kőnig's lemma

Tychonoff's theorem

Zorn's lemma