A proof is a device for convincing someone else that a mathematical statement is true.

出门没有衣服，进家没有粮食，内心积有耻辱之感，就会一起来发动暴乱，而且无法禁止。 

人类心智是一套信息处理机器，由自然选择设计来解决我们狩猎采集祖先面临的适应性问题。