ttp://www.cs.swan.ac.uk/~csetzer/research/researchprofile.html
ここによれば、より大きな可算順序数を表記するにはより大きな基数を
用いる必要があるみたいなことが書いてあるので、>>389の方針がかなり
妥当なものと思われる。さらに、なんでもMahlo ordinalsなるordinalが
あるそうで、よくわからないがかなり巨大な順序数だと思われる。
詳しい方いましたら素人にもわかるように解説してもらえるとありがたい
のだが・・・