数学基础与证明
围绕集合与关系、逻辑与命题、证明与无穷理解概念与联系。先建立知识结构，视频讲解按审核情况逐步补充。
顺着知识，继续探索
逆否证明
证明非Q推出非P，可建立P推出Q；逆否命题与原命题等价。
从不同角度理解
暂无审核视频。可以从地图继续探索，或推荐合适资源。 推荐视频
继续探索邻近知识点
直接证明
直接证明从假设出发，以有依据的逻辑步骤推出结论。
逻辑蕴含
蕴含仅在前件真而后件假时为假；逆命题不自动成立。
反证法
反证法假设结论不成立，并推出与已知条件或逻辑冲突的结果。
公理系统
公理系统明确基本假设和推理规则，据此推导定理，不能把假设当结论。
双射
双射同时单射和满射，并存在双侧逆映射。