zì​rán​shù​jí

natural number set