什么是矛盾证明?

• 反证法假定为相反结果是真的
• 然后，通过一系列的逻辑步骤，表明这是不可能的

怎么用矛盾来证明呢?

• 使用首要的factorisation写复合数作为素数的乘积

• 这种类型的证明通常包括句子和数学命题