设函数f: N → N , f(x)=x+1 , 其中N是自然数集合,下列命题中为 真的是 ( )