Category:選択公理

Axiom of choice

Zorn's lemma

Axiom of countable choice

Tychonoff's theorem

Axiom of dependent choice

Teichmüller–Tukey lemma

Boolean prime ideal theorem

Kőnig's theorem (set theory)

Kőnig's lemma

Spanning tree