2.SAFC模型基于公理产生