>>374
>存在しないと言い切ってもいいものか
lim[n→∞] nはN の元ではない．
∵任意のk∈Nに対してn>kとなるnが存在するのでlim[n→∞]n >k
任意の自然数より大きいのでlim[n→∞]nはNの元ではない．

俺の立場はこれだ．ひとまず君の考えるlim[n→∞]nが何なのか教えてくれ

>無限大の自然数
こんなものはない．あるというか，君が考える無限大の自然数がどう定義されてるのかちゃんと書いてくれ