超実数体より超現実数体の方を先に知ったけれど
そっちは全集合のクラスVにまで拡張していけるらしい
そんなことしてどうなるとも分からないけど面白いよ