証明の積み重ねで得られる幾何学の理論

今の一般的な幾何学