αを順序数とし
α番目の基数をℵα
その基数を順序数と見たときの順序数をωαと書く
α=ωα
つまり
ω:Ord→Card⊂Ord
の不動点は存在するのかな?