successor function (Q1478)

From Azupedia
Revision as of 20:21, 31 January 2023 by Fire (talk | contribs) (‎Created claim: instance of (P2): hyperoperation (Q1471))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
elementary operation on a natural number
  • successor
  • successor operation
  • increment
Language Label Description Also known as
English
successor function
elementary operation on a natural number
  • successor
  • successor operation
  • increment

Statements