更新公理中存在的bug

修正原子未初始化时求值定义
细化sets setg公理说明