Natural Number Definition In Set Theory