公理化假设相关论文