系列分集
带指标集合族的交与并
Lecture 21 (w/J. Sands!): Intersections and Unions of Indexed Families of Sets (+Arch Property)
把一个元素属于交集或并集分别写成全称命题和存在命题，再借简单例子检查量词的使用。
Taylor Dupuy · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Fundamentals of Mathematics · 2022-01-12
系列分集
Lecture 21 (w/J. Sands!): Intersections and Unions of Indexed Families of Sets (+Arch Property)
把一个元素属于交集或并集分别写成全称命题和存在命题，再借简单例子检查量词的使用。
Taylor Dupuy · 系列收录