修正公理内容

增加发引用概念
增加sets定义
修正setg内容