反证法证明的关键是在正确的假设下得出矛盾,这个矛盾可以是(    )

①与已知矛盾；②与假设矛盾；③与定义、定理、公理、法则矛盾；④与事实矛盾

A：①②

B：②③

C：①②③

D：①②③④