自然数集中每个正的自然数原像唯一(每一正的自然数可唯一表示为自然数加1)
发布人