数学（2022/6/15_2）:キューネン本2冊についての記事_9.ZFC集合論の公理のリスト_7（中間生成物:基数としての自然数）