n->무한대 {1,2,3...,n} = 자연수집합 증명가능?