Description: Any unbounded subset of natural numbers is equinumerous to the set of all natural numbers. This version of unbnn eliminates its hypothesis by assuming the Axiom of Infinity. (Contributed by NM, 4-May-2005)