UN0CFのψIの動きの再現に失敗しました。(T,<,dom,[])型は初めて作ったかもしれないです。ついでに崩壊しないI関数数を定義しました(I.js参照)。予想はRathjenのψ関数と急増加関数でfψ_Ω(Φ_0(ω))+1(10100)です。 p進大好きbot氏の拡張Buchholz OCFに伴う順序数表記を参考にしました。