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

\(①\)与已知条件矛盾；\(②\)与假设矛盾；\(③\)与定义、公理、定理矛盾；\(④\)与事实矛盾．

其中正确的为\((\)    \()\)