\(\Huge\color{red}{关于\lim n是否属于N的百度回复 }\)

春风晚霞

        今日晨，我百度搜索“有哪些数学家认为\(\displaystyle\lim_{n \to \infty}n\)不属于N”得到以下回答，
        1、AI板块回答：“没有信息表明有数学家认为\(\displaystyle\lim_{n \to \infty}n\)不属于N.”
        2、综合板块回答：论坛用户elim引用皮亚诺公理推导出自然数集是空集的结论。
        我发觉这两个回答很有意思，故截图与大家分享。截图附后：

春风晚霞

elim自然数的定义是什么？自然数是由皮亚诺公理定义的还是由据Weierstrass极限定义的？