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

①结论相反的判断，即假设②原命题的条件③公理、定理、定义等④原结论