07/10/26 19:15:58
>>794
>>763 が正しかったんですね。
見直したときに別の定義だと思い込んじゃったみたいです。
>>806
veblenの収束列は前スレ >>655 が初かな。
veblenの２重リストの２変数限定版に拡張したのは >>125。
07/10/26 19:15:58
>>794
>>763 が正しかったんですね。
見直したときに別の定義だと思い込んじゃったみたいです。
>>806
veblenの収束列は前スレ >>655 が初かな。
veblenの２重リストの２変数限定版に拡張したのは >>125。