Category:選択公理

Kőnig's lemma

Boolean prime ideal theorem

Kőnig's theorem (set theory)

Axiom of dependent choice

Teichmüller–Tukey lemma

Tychonoff's theorem

Axiom of countable choice

Spanning tree

Zorn's lemma

Axiom of choice