917のアイデアはなかなかいい
それによって自然数全体の有限部分集合が可算なことがわかる
でもその対応だと無限部分集合、たとえばN全体や偶数全体なんかには対応する自然数がないな