自然数

word(,s) … \(0\)  
\({0.}\)【\(0 = \emptyset\)】
1以上の自然数\(n\)に対し word(,s) … 【\(n\)】
\(n.\)【\(n=\{0,1,\cdots,n-1\}\)】

word(,s) … \(\text{suc}\)  
\(\text{suc}.\)【\(\text{suc} ( X ) = X \cup \{ X \}\)】

自然数の全体