The joke is that, if you don't need to check if the input is negative because it is not a natural number, you can also choose a definition of the natural number

The joke is that, if you don't need to check if the input is negative because it is not a natural number, you can also choose a definition of the natural number without zero to avoid special casing it at all.