。而数一则以1=S(0)表示。数系皆拥有等价关系，即：定义下自然数可进行运算，以下为加法的定义：〔这暗示S("a") = S("a" + 0) = "a" + S(0) = "a" + 1，所以以下S("x")皆会写成"x" + 1〕以下为乘法的定义：〔"a" × "b"亦可写成"a" ‧ "b"或是"ab"〕以下为指数的定义：〔"a"亦会写成"a" ^ "b"或是"a" ** "b"，特别是当上标不可使用的时候〕
整数.自然数可以以下方式扩展成整数，每一个非