公理化假定相关论文