序數算術 我們可在序數上定義若干算術運算這是對自然數運算的推廣