＞φ[0](0)＝1　を、"0の次の順序数"
＞φ[1](0)=φ[φ[0](0)](0)＝ε_0　を、"φなしではたどり着けない順序数"
＞φ[ε_0](0)=φ[φ[φ[0](0)](0)](0)　を、"φ[]の[]内にφが１つしかない順序数ではたどり着けない順序数"
＞φ[φ[φ[φ[0](0)](0)](0)](0)を、"φ[]の[]内にφが高々２回入れ子になってる順序数ではたどり着けない順序数"

こんな説明では不十分だし、いまさらこんな不正確に定義しなおす必要は無い。

>>671の見解は正しい。CNFは0と＋とφ_0（0番目のVeblen関数）で有限に記述したもの、ということになる。

>>693の通り、定義＝6-292、基本列＝6-655で十分。