自习室复习。 “你这个证明怎么感觉少了一步……”郑洛西原本是在一边写另外一节数学课下周的作业，有一道题怎么看怎么别扭，就干脆拉着方时蕴一起帮忙看。 方时蕴心思还在多元微分方程上，看了两遍题才调回到逻辑证明模式。 “你这里ordered pairs少写了两组吧……”方时蕴沉下心来才看出其中一部分set theory的公式有点问题。 “没有吧……”郑洛西已经在各种子母集合里迷失了，他写500行代码也没有看这道题的时候这么晕。 “这里你{空集,{a}}之后是{空集,{b}}，之后还有{空集,{a,b}}啊……还有后面这里也是一样。” 她拿着笔点了下郑洛西的写题步骤，手机突然震了好几下。 她拿过手机...