バカはそこで”推論”する
「なるほど、全ての集合は整列順序がつくから「順序数」だ
　だからa,bが集合なら、「順序数」だからx∈y⇔x⊂yだ」