数学（2022/7/16）:キューネン本2冊についての記事_15.ZFC集合論の公理のリスト_13（中間成果物:遺伝的有限集合全体の集合）