過去ログを読んでたら、
＞順序数を使う代わりに2変数にしたりするのが通常のやり方といえます。
＞（結果n変数になったりリストが入れ子になったりして行き詰まる）
という書き込みが見つかった。これって私が今陥っている状況そのものだろうか。

ちなみに、多重リストのm重リストを(m,2)重リストと表し、
多重リストの多重リストのm重リストを(m,3)重リストと表し、
…として（多重リスト）重リストなるものを定義したら、
ω＾ω＾…＾ω＾ωはリストとして表せました。でも、ε_0には到達できませんでした。
（どうしても（（…（（多重リスト）重リスト）…重リスト）重リスト）重リストから先に進めない）