>>27
有限な順序数は基数である