坐标公理

coordinate axiom