[CiaranMcNulty]

Whether 0 is a natural number is still fairly ambiguous; I remember being taught (1990s UK) to be specific about which definition was being used, or to prefer another name such as 'positive integers' or 'non-negative integers'