少なくとも、小林先生は「0は通常自然数の仲間に入れない」という
文章をわざわざ本に書く程度には気にしてたw