自然数であって実数ではない超限順序数は成立しうるか?