 The formal term (“numeral”) canonically denoting the natural number \(\boldsymbol{n}\) is abbreviated as \(\underline{n}\). In the standard language of arithmetic used here, the number \(\boldsymbol{n}\) is denoted by the term \(0^{\prime\cdots\prime}\), where the successor symbol ‘\('\)’ is iterated \(n\) times. That is, numerals which name 1, 2, 3, … are \(0', 0'', 0''',\ldots\) and are abbreviated by 1, 2, 3, …