>>899
N から N への可算個の写像 f_0,f_1,...,f_n,... が与えられたとする。
g を次のように構成する。
g(2k) = g(0),g(1),...,g(2k-1) のどれとも異なる最小の自然数
g(2k+1) = g(0),g(1),...,g(2k),f_k(2k+1) のどれとも異なる最小の自然数
このとき、g は N から N への全単射で、どの f_n とも異なる。