证明

1.事无巨细的证明，即使可行，也并不必要：数学论文是写给经过严格训练的读者的，无须事无巨细详细说明。

2.严格的训练，驯化；培养了客户；

3.首先，所有理解了归纳法的人应该都认为它是显然合理的。其次，公理系统的主要问题并不是公理的真实性，而是公理的自洽性和有用性。

4.智力的表现：能在不同的层面对事物进行抽象，在该层次，你丝毫不用关注下层的细节，把它当作黑盒子就行。而当你需要深入时，只需打开黑盒子做同样的事即可。以上思想来源于西蒙《人工科学》。

5.黑盒子的边界外延；

6.细节与时间的函数，可以改变前提假设；

7.流程环节，内容成果，定量