>そのような手続き(手順)を実際には任意の可算集合に対して与えることが出来ない

例を挙げてくれ