>>168
代数的、幾何学的正当化ってどういう意味?