常规作品中一般只能出现有限条设定，我们可以用集合来囊括这些设定，比如定义S(A)为作品A所有设定的集合。
对于某个作品A，若S(A)的所有元素在内容上不蕴含矛盾以及无法通过逻辑推理导出矛盾，我们称A具有一致性，记作Con(A)。
假设作品A本身具有一致性，而B是作者访谈/作品设定集/多作品联动等给出的原作没有的额外设定。若“S(A)∪{B}”和“S(A)∪{¬B}”都具有一致性，则我们称设定B独立于作品A，即Con(A+B)∧Con(A+¬B)。
若作品A本身不具有一致性，也就是绝大多数作品所在的层级，该怎么处理呢？我还没有想好，大家集思广益

设定(set)=集合(set)，有点意思

若作品A一致但“S(A)∪{B}”不一致，即Con(A)∧(¬Con(A+B))，该怎么处理？不承认B设定？不太行

看不懂