Category:選択公理

Axiom of choice

Zorn's lemma

Axiom of countable choice

Axiom of dependent choice

Tychonoff's theorem

Kőnig's lemma

Boolean prime ideal theorem

Teichmüller–Tukey lemma

Kőnig's theorem (set theory)

Spanning tree