2.反证法常见的矛盾类型 反证法的关键是在正确的推理下得出矛盾.这个矛盾可以是与_____ _____矛盾,或与_____矛盾,或与_____、_____、_____、_____矛盾等.
已知
条件
假设
定义
定理
公理
事实