在展开学习集合论的过程中，一开始可能连题目也看不懂，原因就是有一套 Predicate Logic（断言逻辑） 在后面：
课程地址：
https://www.youtube.com/watch?v=YbNmPievBak
Universal Quantifier:
注意 → 符号，可以阅读为 if * then p(a) is true
Existential Quantifier:
注意 Λ 符号，可以阅读为 and p(a) is true
混合使用：
Negations of Quantifiers:
Big-Sigma Notation:
Big-Intersection Notation:
Big-Union Notation:
Index Set:
