证明是一种用于使他人相信数学陈述为真的工具。
A proof is a device for convincing someone else that a mathematical statement is true.
Nature is the best teacher for architects.
安全困境是国际政治的一个基本特征,因为国家增加自身安全的努力往往会降低其他国家的安全。