number
Natural number
A counting number in the ordinary whole sequence. Not integer as the signed extension, and not a foundations war dump alone.
number
A counting number in the ordinary whole sequence. Not integer as the signed extension, and not a foundations war dump alone.