空集合を0とするところから自然数の定義を始める場合は0も含めた方が考えやすいんじゃねえの。