０は自然数に含むのか問題は考慮していて...

「最小の自然数より大きな最小の自然数」には「1」の記号が充てられている。

としたら

「最小の自然数より大きな最小の自然数...　2の誤植かな？」

となるので、

「最小の自然数の有限個の和で到達できない最小の自然数」には「1」の記号が充てられている。

としました。

これだと。「なるほど０を含む話か」となると期待しました。

つまり、最小の自然数が「1」だと「1の有限個の和」で到達できない自然数は存在しないので。話がかみ合わなくなるので。

「自然数」の概念と記号を分けて書きたかったので「自然数に0を含む」という記述ができない。