应用反证法推出矛盾的推导过程中要把下列哪些作为条件使用（ ）

①结论的否定；②已知条件；③公理、定理、定义等；④原结论．

A、①②

B、②③

C、①②③

D、①②④