吴文俊强调数学公理化的应用是数学机械化研究的生命性。

社会科学数学化是指数学向社会科学渗透，也是运用数学方法来解释社会现象的一般规律。

判断题社会科学数学化是指数学向社会科学渗透，也是运用数学方法来解释社会现象的一般规律。

数学证明可以告诉我们命题的真伪和事物之间的联系。

判断题数学证明可以告诉我们命题的真伪和事物之间的联系。

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

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