数学证明是以一些真实性已确定的命题为前提，通过逻辑论证，确定某一命题的真实性的思维方式。