数学上证明与自然数N有关的命题5个字