公理假设相关论文