>>567
どうもスレ主です
ご苦労様
だが、順序数の定義を再確認乞う