>>91
しおもないな
結局君はVBの定義を
∪VBα
としたいということしか言って無くて
それでは
B=2
の場合でもV(もしくは同等のクラス)にならないことを考慮の対象に入れてないんですよ