07/10/22 18:42:57
＞φ[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で十分。