那本书上有正整数的定义同上