평면 기하학 공리 체계의 대수화