公理边缘2AxiomVerge2