positive integer (Q28920044)

From Wikidata
Revision as of 11:10, 13 July 2024 by Uniwah (talk | contribs) (‎Created claim: Metamath statement ID (P12888): df-nn)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
integer greater than zero; natural number explicitly excluding zero
  • natural number (excluding zero)
  • natural number (positive integer)
  • natural number (nonzero)
  • integer greater than zero
  • natural number
edit
Language Label Description Also known as
English
positive integer
integer greater than zero; natural number explicitly excluding zero
  • natural number (excluding zero)
  • natural number (positive integer)
  • natural number (nonzero)
  • integer greater than zero
  • natural number

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit