Category:選択公理

Spanning tree

Zorn's lemma

Kőnig's lemma

König's theorem (set theory)

Boolean prime ideal theorem

Axiom of countable choice

Axiom of dependent choice

Teichmüller–Tukey lemma

Tychonoff's theorem

Axiom of choice