平面公理的应用