看看古希腊欧几里德《几何原本》，没-个字多余。公理，定义，定理，证明体系。//@