>>794
>>763 が正しかったんですね。
見直したときに別の定義だと思い込んじゃったみたいです。

>>806
veblenの収束列は前スレ >>655 が初かな。
veblenの２重リストの２変数限定版に拡張したのは >>125。