>>402
少なくとも公理についてはそれが必要なことは>>355で示した通り