Pardon - 'pozitív természetes számok'. A nemnegatív valóban redundancia, marhaság.