公理化结构相关论文