＞＞847
問1
定義はどこに書いてあるか？と聞いてるんだが。
1.6-510と6-511が定義なのか？
2.それとも修正があって別のところに定義をまとめてあるのか？
3.それともまとめていなくて定義が分散してるのか？
（3.ならまとめてくれ）
4.定義はなく単なるアイデアしかない

問2
＞ということはVeblen関数を多変数に拡張してもF[ε0](ω)には
＞足元にも及ばないと思われます。
この記述は正しいですか？