公理性质相关论文