反证法证明命题第二步中,得出矛盾是下列哪些内容产生:1.命题已知2.数学定义3.定理、公理4.推理、运算的规