平面幾何の公理体系の代数化