G记号(1)
n、m是任意非负整数
□是空、任意非负整数、[□₂]或者□₃+□₄+...+□ₙ
◇□◇是□、□₂+◇₂□₃◇₂或者[□₂+◇₂□₃◇₂]ₘ
□₂、□₃、□₄只为了区分不同的□,◇₂◇₂、◇₃◇₃、◇₄◇₄只为了区分不同的◇◇
不同规则的□、□₂、□₃…可以互不相同
规则1:nG0 = n+1
规则2:nG□+1 = (.. ((nG□)G□)G□...)G□ (n个G□)
规则3:nG◇[0]₁◇ = nG◇n◇
规则4:nG◇[□+1]ₘ◇ = nG◇[□]ₘ+[□]ₘ+...+[□]ₘ◇ (n个[□]ₘ)
规则5:nG◇[◇₂[0]ₘ₊₁◇₂]ₘ◇ = nG◇[◇₂[◇₂[◇₂...◇₂]ₘ◇₂]ₘ◇₂]ₘ◇ (嵌套n层) 当且仅当◇₂□◇₂不能写成◇₃[◇₄□₂◇₄]ₘ◇₃
极限表达式nG[[[...[0]ₙ...]₃]₂]₁