>>678
つまり歴史的にも0は自然数だな。