反证法的关键是在正确的推理下得出矛盾，这个矛盾可以是与_________________________________________等矛盾．

2．反证法常见矛盾类型

　 使用反证法应注意的几个问题 1．如果待证命题的相反判断有多种不同情况，需对各种不同情况一一导出矛盾，加以否定，才能使原判断得到充分肯定． 2．有些待证命题的相反判断虽然只有一种情况，但在证明过程中有必要进行分类，首先要求分类必须详尽无遗漏，并且就各类一一导出矛盾．

已知条件、假设、定义、公理、定理、事实