数学证明是引用一些真实的命题来确定某一命题的真实性的思维过程。它同概念、判断、推理一样，是理性思维的一种形式，属于主观思维运动的范围。
任何证明都有论题、论据、论证三部分构成。
轮个体，是指需要确定其真实性的那个命题。
论据，是指被用来作为证明的理由。
论证，就是证明的过程，是指从论据推出论题的过程，它表明了论据与论题的必然的逻辑联系。