数学（2022/5/26）:キューネン本2冊についての記事_6.ZFC集合論の公理のリスト_4（中間生成物:順序数としての自然数）