デデキント無限
デデキント無限集合が無限であることはZFで容易に証明される。実際、任意の有限集合はある有限順序数と等濃であって、有限順序数がデデキント有限であることは帰納法により証明できる。
可算選択公理を用いることによって、その逆が証明できる。つまり、無限集合はデデキント無限であることを以下のように証明できる。
まず無限集合 X {\displaystyle X} は可算無限な部分集合を持つことを示す。相異なる X {\displaystyle X} の元からなる長さ n + 1 {\displaystyle n+1} の列の成す集合を X n {\displaystyle X_{n}} とする。 X {\displaystyle X} は有限でないから X n {\displaystyle X_{n}} は空でない。したがって可算選択公理により選択関数 f : ω → ⋃ n < ω X n {\displaystyle f:\omega \to \bigcup _{n<\omega }X_{n}} が存在する。そこで
f ( n ) = ( x n 0 , x n 1 , .